Agda-2.6.4: stack-9.4.7.yaml

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

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