Agda-2.6.1.1: stack-8.10.2.yaml

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

extra-deps:
- STMonadTrans-0.4.4
- aeson-1.4.7.1
- alex-3.2.5
- async-2.2.2
- attoparsec-0.13.2.4
- base-compat-0.11.1
- base-compat-batteries-0.11.1
- base-orphans-0.8.2
- blaze-builder-0.4.1.0
- blaze-html-0.9.1.2
- blaze-markup-0.8.2.7
- boxes-0.1.5
- data-hash-0.2.0.1
- dlist-0.8.0.8
- edit-distance-0.2.2.1
- equivalence-0.3.5
- fail-4.9.0.0
- geniplate-mirror-0.7.7
- gitrev-1.3.1
- happy-1.20.0
- hashable-1.3.0.0
- hashtables-1.2.3.4
- ieee754-0.8.0
- integer-logarithms-1.0.3
- murmur-hash-0.1.0.9
- network-uri-2.6.3.0
- primitive-0.7.1.0
- random-1.2.0
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- scientific-0.3.6.2
- split-0.2.3.4
- splitmix-0.1.0.1
- strict-0.3.2
- tagged-0.8.6
- th-abstraction-0.3.2.0
- time-compat-1.9.3
- transformers-compat-0.6.5
- unordered-containers-0.2.12.0
- uri-encode-1.5.0.6
- utf8-string-1.0.1.1
- uuid-types-1.0.3
- vector-0.12.1.2
- zlib-0.6.2.2

flags:
  transformers-compat:
    five-three: true