Agda-2.6.3: stack-9.4.4.yaml

resolver: nightly-2023-01-29
compiler: ghc-9.4.4
compiler-check: match-exact

flags:
  mintty:
    win32-2-13-1: false

extra-deps:
- vector-hashtables-0.1.1.1