bv-0.4.0: dependencies

Dependencies for bv-0.4.0

library	base (>=4.6 && <5) if impl(ghc) && flag(gmp) ghc-prim integer-gmp
bv-tester	if flag(test) base (>=4.6 && <5) QuickCheck (>=2.4 && <2.7) test-framework-quickcheck2 (>=0.3 && <0.4) test-framework-th (>=0.2 && <0.3) else buildable: False

Name	Description	Default
test	Build the test suite, and an executable to run it.	Disabled

Automatic Flags

Name	Description	Default
gmp	Using Integer GMP backend.	Enabled

Use -f <flag> to enable a flag, or -f -<flag> to disable that flag. More info