Agda-2.6.4.1: stack-9.4.7.yaml

resolver: lts-21.20
compiler: ghc-9.4.7
compiler-check: match-exact

packages:
- '.'

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