Version 7.5-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
test:SBVDocTest
Dependencies
- Glob lib:Glob >=0
- base lib:base >=0
- bytestring lib:bytestring >=0
- directory lib:directory >=0
- doctest lib:doctest >=0
- filepath lib:filepath >=0
- random lib:random >=0
- sbv lib:sbv >=0
- tasty lib:tasty >=0
- tasty-golden lib:tasty-golden >=0
- tasty-hunit lib:tasty-hunit >=0
Reverse dependencies
None.