Agda-2.6.1.3: stack-8.8.4.yaml

resolver: lts-16.31
compiler: ghc-8.8.4
compiler-check: match-exact