Agda-2.6.2.2: stack-9.0.1.yaml

resolver: nightly-2022-01-06
compiler: ghc-9.0.1
compiler-check: match-exact

extra-deps:
# Andreas, 2021-11-13
# happy-1.21.0 is deprecated, but currently in nightly
# (commercialhaskell/stackage#6294)
- happy-1.20.0
# Andreas, 2022-02-07
# On Windows, we install the latest ICU (v69), which is only supported from text-icu >= 0.8
- text-icu-0.8.0

flags:
  transformers-compat:
    five-three: true
  # Andreas, 2021-11-14
  # Work around problem in nightly-2021-11-12
  # (commercialhaskell/stackage#6304 and RyanGlScott/mintty#4):
  mintty:
    Win32-2-13-1: false

# Local packages, usually specified by relative directory name
packages:
- '.'