Agda-2.6.1: stack-8.0.2.yaml

resolver: lts-9.21

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

# Local packages, usually specified by relative directory name
packages:
- '.'
- 'src/fix-agda-whitespace'
- 'src/size-solver'