Agda-2.6.4.2: stack-9.8.1.yaml

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