sbv-6.0: dependencies

Dependencies for sbv-6.0

library	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
SBVUnitTests	base (>=4.8 && <5) data-binary-ieee754 directory filepath HUnit process sbv syb