Agda-2.6.1.3: stack-8.2.2.yaml

resolver: lts-11.22
compiler: ghc-8.2.2
compiler-check: match-exact

extra-deps:
- async-2.2.1
- regex-base-0.94.0.0
- regex-tdfa-1.3.1.0
- text-1.2.3.1
- cpphs-1.20.9