Monadoc
Search
Home
z3
4.1.1-0
test:spec
The latest version of z3 is
408.2-0
.
test:spec
Dependencies
QuickCheck
lib:QuickCheck >=2.5.1
base
lib:base >=4.5
hspec
lib:hspec >=2.1
z3
lib:z3 >=0
Reverse dependencies
None.