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

Dependencies for sbv-4.3

Libraries

sbv

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

Executables

SBVUnitTests

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