Version 7.12-0 of sbv is deprecated.
The latest version of sbv is 10.12-0.
test:SBVTest
Dependencies
- QuickCheck lib:QuickCheck >=0
- base lib:base >=4.9
- bytestring lib:bytestring >=0
- containers lib:containers >=0
- directory lib:directory >=0
- filepath lib:filepath >=0
- mtl lib:mtl >=0
- random lib:random >=0
- reinterpret-cast lib:reinterpret-cast >=0
- sbv lib:sbv >=0
- syb lib:syb >=0
- tasty lib:tasty >=0
- tasty-golden lib:tasty-golden >=0
- tasty-hunit lib:tasty-hunit >=0
- tasty-quickcheck lib:tasty-quickcheck >=0
- template-haskell lib:template-haskell >=0
Reverse dependencies
None.