Agda-2.6.4.3: stack-9.6.4.yaml

resolver: lts-22.12
compiler: ghc-9.6.4
compiler-check: match-exact