sbv-5.3: dependencies

Dependencies for sbv-5.3

library	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
SBVUnitTests	if impl(ghc>=7.10.1) base (>=4.8 && <5) data-binary-ieee754 directory filepath HUnit process sbv syb else buildable: False