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