Monadoc
Search
Home
sbv
5.2-1
test:SBVBasicTests
Version 5.2-1 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
data-binary-ieee754
lib:data-binary-ieee754 >=0
directory
lib:directory >=0
filepath
lib:filepath >=0
sbv
lib:sbv >=0
syb
lib:syb >=0
Reverse dependencies
None.