Agda-2.6.2: stack-9.0.1.yaml

resolver: ghc-9.0.1
compiler: ghc-9.0.1
compiler-check: match-exact

extra-deps:
- aeson-1.5.6.0
- alex-3.2.6
- async-2.2.3
- bifunctors-5.5.11
- blaze-html-0.9.1.2
- boxes-0.1.5
- case-insensitive-1.2.1.0
- data-hash-0.2.0.1
- edit-distance-0.2.2.1
- equivalence-0.3.5
- gitrev-1.3.1
- happy-1.20.0
- hashable-1.3.1.0
- hashtables-1.2.4.1
- monad-control-1.0.2.3
- murmur-hash-0.1.0.9
- parallel-3.2.2.0
- regex-tdfa-1.3.1.0
- split-0.2.3.4
- strict-0.4.0.1
- unordered-containers-0.2.13.0
- uri-encode-1.5.0.7
- zlib-0.6.2.3
- STMonadTrans-0.4.5
- assoc-1.0.2
# - attoparsec-0.14.1 # no matching version for this in resolver
- attoparsec-0.13.2.5
- base-compat-0.11.2
- base-compat-batteries-0.11.2
- base-orphans-0.8.4
- blaze-builder-0.4.2.1
- blaze-markup-0.8.2.8
- comonad-5.0.8
- data-fix-0.3.1
- dlist-1.0
- fail-4.9.0.0
- network-uri-2.6.4.1
- primitive-0.7.1.0
- random-1.2.0
- regex-base-0.94.0.1
- scientific-0.3.6.2
- tagged-0.8.6.1
- th-abstraction-0.4.2.0
- these-1.1.1.1
- time-compat-1.9.5
- transformers-base-0.4.5.2
- transformers-compat-0.6.6
- utf8-string-1.0.2
- uuid-types-1.0.4
- vector-0.12.3.0
- distributive-0.6.2.1
- indexed-traversable-0.1.1
- integer-logarithms-1.0.3.1
- splitmix-0.1.0.3
- th-compat-0.1.2
- filemanip-0.3.6.3
- process-extras-0.7.4
- temporary-1.3
- unix-compat-0.5.3
- ListLike-4.7.4
- ansi-terminal-0.11
- call-stack-0.3.0
- clock-0.8.2
- data-default-0.7.1.1
- generic-deriving-1.14
- optparse-applicative-0.16.1.0
- unbounded-delays-0.1.1.1
- wcwidth-0.0.2
- ansi-wl-pprint-0.6.9
- colour-2.3.5
- data-default-class-0.1.2.0
- data-default-instances-containers-0.0.1
- data-default-instances-dlist-0.0.1
- data-default-instances-old-locale-0.0.1
- fmlist-0.9.4
- old-locale-1.0.0.7
- text-icu-0.7.1.0

# extra deps for cpphs flag
- cpphs-1.20.9.1
- polyparse-1.13

# extra deps for Windows
- mintty-0.1.2

flags:
  transformers-compat:
    five-three: true