• Home
• Search 
• Browse
• What's new
• Upload
• User accounts

Dependencies for sbv-6.0

Libraries

sbv

• array
• async
• base (>=4.8 && <4.11)
• base-compat (>=0.6)
• containers
• crackNum (>=1.9)
• data-binary-ieee754
• deepseq
• directory
• filepath
• ghc
• mtl
• old-time
• pretty
• process
• QuickCheck (>=2.9.2)
• random
• syb

Executables

SBVUnitTests

• base (>=4.8 && <5)
• data-binary-ieee754
• directory
• filepath
• HUnit
• process
• sbv
• syb