Agda-2.6.4.2: stack-9.4.8.yaml

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

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