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

Dependencies for sbv-5.3

Libraries

sbv

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

Executables

SBVUnitTests

• if impl(ghc>=7.10.1)
  • base (>=4.8 && <5)
  • data-binary-ieee754
  • directory
  • filepath
  • HUnit
  • process
  • sbv
  • syb
  else
  • buildable: False