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