stack.yaml

# This file was automatically generated by 'stack init'
#
# Some commonly used options have been documented as comments in this file.
# For advanced use and comprehensive documentation of the format, please see:
# https://docs.haskellstack.org/en/stable/yaml_configuration/

# Resolver to choose a 'specific' stackage snapshot or a compiler version.
# A snapshot resolver dictates the compiler version and the set of packages
# to be used for project dependencies.
resolver: lts-22.41

# User packages to be built.
packages:
  - .
# Dependency packages to be pulled from upstream that are not in the resolver.
# These entries can reference officially published versions as well as
# forks / in-progress versions pinned to a git hash. For example:
extra-deps:
  - aeson-2.2.3.0
  - binary-0.8.9.2
  - bytestring-0.12.1.0
  - character-ps-0.1
  - containers-0.7
  - directory-1.3.8.5
  - extra-1.8
  - filepath-1.4.300.2
  - lsp-2.7.0.0
  - lsp-types-2.3.0.0
  - parsec-3.1.17.0
  - process-1.6.20.0
  - set-extra-1.4.2
  - text-2.1.1
  - time-1.9.3
  - unix-2.8.5.1
  - Win32-2.14.1.0
  - git: https://git.ps.informatik.uni-kiel.de/curry/curry-frontend.git
    commit: 6919240bf82cc94a2d47bd405e70565c272f98f8

allow-newer: true

# Override default flag values for local packages and extra-deps
# flags: {}

# Extra package databases containing global packages
# extra-package-dbs: []

# Control whether we use the GHC we find on the path
# system-ghc: true
#
# Require a specific version of stack, using version ranges
# require-stack-version: -any # Default
# require-stack-version: ">=2.1"
#
# Override the architecture used by stack, especially useful on Windows
# arch: i386
# arch: x86_64
#
# Extra directories used by stack for building
# extra-include-dirs: [/path/to/dir]
# extra-lib-dirs: [/path/to/dir]
#
# Allow a newer minor version of GHC than the snapshot specifies
# compiler-check: newer-minor