Agda-2.5.2: stack-7.8.4.yaml

flags:
  semigroups:
    bytestring-builder: false
packages:
- '.'
extra-deps:
- binary-0.8.4.1
- boxes-0.1.4
- data-hash-0.2.0.1
- EdisonAPI-1.3.1
- EdisonCore-1.3.1.1
- equivalence-0.3.1
- fail-4.9.0.0
- geniplate-mirror-0.7.4
- gitrev-1.2.0
- haskeline-0.7.2.3
- ieee754-0.7.8
- monadplus-1.4.2
- murmur-hash-0.1.0.9
- QuickCheck-2.9.2
- regex-tdfa-1.2.2
- regex-tdfa-text-1.0.0.3
- semigroups-0.18.2
- STMonadTrans-0.3.3
- tasty-silver-3.1.9
- void-0.7.1
resolver: lts-2.22