packages feed

Agda-2.6.3: stack-9.2.5.yaml

resolver: lts-20.9
compiler: ghc-9.2.5
compiler-check: match-exact

extra-deps:
- vector-hashtables-0.1.1.1