Agda-2.6.1: stack-8.8.2.yaml

resolver: lts-15.3

extra-deps:
- data-hash-0.2.0.1
- equivalence-0.3.5
- geniplate-mirror-0.7.6
- STMonadTrans-0.4.4
- cpphs-1.20.9

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