tasty-sbv-0: dependencies

Dependencies for tasty-sbv-0

library	base (>=4.12 && <4.14) sbv (>=8.6 && <8.7) tagged (>=0.8 && <0.9) tasty (>=1.2 && <1.3) tasty-quickcheck (>=0.10 && <0.11)