Agda-2.6.4.3: stack-9.8.1.yaml

resolver: nightly-2024-02-27
compiler: ghc-9.8.1
compiler-check: match-exact