Agda-2.6.1.3: stack-8.8.3.yaml
resolver: lts-16.5 compiler: ghc-8.8.3 compiler-check: match-exact extra-deps: - STMonadTrans-0.4.4 - cpphs-1.20.9 - data-hash-0.2.0.1 - equivalence-0.3.5 - geniplate-mirror-0.7.6 - text-icu-0.7.0.1
resolver: lts-16.5 compiler: ghc-8.8.3 compiler-check: match-exact extra-deps: - STMonadTrans-0.4.4 - cpphs-1.20.9 - data-hash-0.2.0.1 - equivalence-0.3.5 - geniplate-mirror-0.7.6 - text-icu-0.7.0.1