Agda-2.8.0: stack-9.0.2.yaml

resolver: lts-19.33
compiler: ghc-9.0.2
compiler-check: match-exact

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

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