Agda-2.6.4: stack-9.0.2.yaml
resolver: lts-19.33 compiler: ghc-9.0.2 compiler-check: match-exact extra-deps: - text-icu-0.8.0.2 - vector-hashtables-0.1.1.1
resolver: lts-19.33 compiler: ghc-9.0.2 compiler-check: match-exact extra-deps: - text-icu-0.8.0.2 - vector-hashtables-0.1.1.1