Agda-2.6.1.2: stack-8.8.3.yaml

resolver: lts-16.5
compiler: ghc-8.8.3
compiler-check: match-exact

extra-deps:
- STMonadTrans-0.4.4
- cpphs-1.20.9
- data-hash-0.2.0.1
- equivalence-0.3.5
- geniplate-mirror-0.7.6
- text-icu-0.7.0.1
# Built as needed (e.g. via the makefile), but not by default:
- 'src/fix-whitespace'
- extra-1.7.2
- filepattern-0.1.2

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