Monadoc
Search
Home
sbv
2.4-0
test:SBVBasicTests
Version 2.4-0 of sbv is deprecated.
The latest version of sbv is
10.12-0
.
test:SBVBasicTests
Dependencies
HUnit
lib:HUnit >=0
base
lib:base >=4 && <5
directory
lib:directory >=0
filepath
lib:filepath >=0
sbv
lib:sbv >=0
Reverse dependencies
None.