sbv-program-1.0.0.0: dependencies

Dependencies for sbv-program-1.0.0.0

library	base (<5) bifunctors (>=5.5.13 && <5.6) containers (>=0.6.5 && <0.7) pretty-simple (>=4.1.2 && <4.2) sbv (>=9.0 && <9.1)