Agda-2.6.4.1: stack-9.6.3.yaml

resolver: nightly-2023-11-15
compiler: ghc-9.6.3
compiler-check: match-exact

packages:
- '.'