Agda-2.6.1.3: stack-8.10.3.yaml

resolver: lts-17.1
compiler: ghc-8.10.3
compiler-check: match-exact