sbv-5.13: dependencies

Dependencies for sbv-5.13

library	array async base (>=4.8 && <4.11) base-compat (>=0.6) containers crackNum data-binary-ieee754 deepseq directory filepath ghc mtl old-time pretty process QuickCheck random syb
SBVUnitTests	base (>=4.8 && <5) data-binary-ieee754 directory filepath HUnit process sbv syb