Agda-2.5.4: stack-7.10.3.yaml

resolver: lts-6.35

extra-deps:
- STMonadTrans-0.4.3
- cpphs-1.20.8
- equivalence-0.3.2
- async-2.2.1
- gitrev-1.3.1

# Local packages, usually specified by relative directory name
packages:
- '.'