Agda-2.6.1.3: stack-8.4.4.yaml
resolver: lts-12.26 compiler: ghc-8.4.4 compiler-check: match-exact extra-deps: - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - cpphs-1.20.9
resolver: lts-12.26 compiler: ghc-8.4.4 compiler-check: match-exact extra-deps: - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - cpphs-1.20.9