Agda-2.6.4.1: stack-8.10.7.yaml
resolver: lts-18.28 compiler: ghc-8.10.7 compiler-check: match-exact packages: - '.' extra-deps: - text-icu-0.8.0.2 - vector-hashtables-0.1.1.1
resolver: lts-18.28 compiler: ghc-8.10.7 compiler-check: match-exact packages: - '.' extra-deps: - text-icu-0.8.0.2 - vector-hashtables-0.1.1.1