sbv-2.5: dependencies

Dependencies for sbv-2.5

library	array base (>=4 && <4.8) containers deepseq directory filepath mtl old-time pretty process QuickCheck random syb
SBVUnitTests	base (>=4 && <5) directory filepath HUnit process sbv