Agda-2.6.2: stack-8.4.4.yaml
resolver: lts-12.26 compiler: ghc-8.4.4 compiler-check: match-exact extra-deps: - cpphs-1.20.9 - 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
resolver: lts-12.26 compiler: ghc-8.4.4 compiler-check: match-exact extra-deps: - cpphs-1.20.9 - 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