Agda-2.6.3: stack-8.10.7.yaml
resolver: lts-18.28 compiler: ghc-8.10.7 compiler-check: match-exact 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 extra-deps: - text-icu-0.8.0.2 - vector-hashtables-0.1.1.1