agda/stack-8.6.3.yaml

resolver: ghc-8.6.3

extra-deps:
- EdisonCore-1.3.2.1
- aeson-1.4.1.0
- async-2.2.1
- blaze-html-0.9.1.1
- boxes-0.1.5
- data-hash-0.2.0.1
- edit-distance-0.2.2.1
- equivalence-0.3.3
- filemanip-0.3.6.3
- geniplate-mirror-0.7.6@rev:1
- gitrev-1.3.1
- hashable-1.2.7.0
- hashtables-1.2.3.1
- ieee754-0.8.0
- murmur-hash-0.1.0.9
- regex-tdfa-1.2.3.1
- strict-0.3.2
- unordered-containers-0.2.9.0
- uri-encode-1.5.0.5
- zlib-0.6.2
- EdisonAPI-1.3.1
- QuickCheck-2.12.4
- STMonadTrans-0.4.3
- attoparsec-0.13.2.2
- base-compat-0.10.4
- blaze-builder-0.4.1.0
- blaze-markup-0.8.2.2
- dlist-0.8.0.5
- network-uri-2.6.1.0
- primitive-0.6.4.0
- random-1.1
- regex-base-0.93.2
- scientific-0.3.6.2
- split-0.2.3.3
- tagged-0.8.6
- template-haskell-2.14.0.0
- th-abstraction-0.2.8.0
- time-locale-compat-0.1.1.5
- transformers-compat-0.6.2
- unix-compat-0.5.1
- utf8-string-1.0.1.1
- uuid-types-1.0.3
- vector-0.12.0.1
- erf-2.0.0.0
- tf-random-0.5
- integer-logarithms-1.0.2.2
- alex-3.2.4
- happy-1.19.9
- cpphs-1.20.8
- text-icu-0.7.0.1
- old-locale-1.0.0.7
- old-time-1.1.0.3
- polyparse-1.12.1

flags:
  time-locale-compat:
    old-locale: false

  transformers-compat:
    five-three: true

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