Agda-2.6.1: stack-8.6.5.yaml
resolver: lts-14.27 extra-deps: - data-hash-0.2.0.1 - equivalence-0.3.4 - geniplate-mirror-0.7.6 - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - STMonadTrans-0.4.3 - cpphs-1.20.9
resolver: lts-14.27 extra-deps: - data-hash-0.2.0.1 - equivalence-0.3.4 - geniplate-mirror-0.7.6 - regex-base-0.94.0.0 - regex-tdfa-1.3.1.0 - STMonadTrans-0.4.3 - cpphs-1.20.9