Agda-2.8.0: stack-9.4.8.yaml

resolver: lts-21.25
compiler: ghc-9.4.8
compiler-check: match-exact

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

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

extra-deps:
- pqueue-1.5.0.0