Agda-2.6.2.2: stack-9.0.2.yaml
resolver: lts-19.0 compiler: ghc-9.0.2 compiler-check: match-exact # Local packages, usually specified by relative directory name packages: - '.'
resolver: lts-19.0 compiler: ghc-9.0.2 compiler-check: match-exact # Local packages, usually specified by relative directory name packages: - '.'