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

Dependencies for sbv-4.0

Libraries

sbv

• array
• async
• base (>=4 && <4.13)
• containers
• deepseq (<1.4)
• directory
• filepath
• mtl
• old-time
• pretty
• process
• QuickCheck
• random
• syb

Executables

SBVUnitTests

• base (>=4 && <5)
• directory
• filepath
• HUnit
• process
• sbv
• syb