Agda-2.6.3.1: stack-8.10.7.yaml

resolver: lts-18.28
compiler: ghc-8.10.7
compiler-check: match-exact

# Local packages specified by relative directory name.
packages:
- '.'


extra-deps:
- text-icu-0.8.0.2
- vector-hashtables-0.1.1.1