bv-sized-0.2.1: stack.yaml

resolver: lts-10.8

packages:
- .

extra-deps:
- containers-0.5.11.0
- lens-4.16
- parameterized-utils-1.0.0
- prettyclass-1.0.0.0
- random-1.1
- QuickCheck-2.11.3