Agda-2.6.2: stack-8.6.5.yaml

resolver: lts-14.27
compiler: ghc-8.6.5
compiler-check: match-exact

extra-deps:
- STMonadTrans-0.4.3
- cpphs-1.20.9
- data-hash-0.2.0.1
- equivalence-0.3.4
- geniplate-mirror-0.7.6
- random-1.2.0
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- splitmix-0.1.0.3
- uuid-types-1.0.3
- text-icu-0.7.1.0