smtlib-backends-tests-0.3: dependencies

Dependencies for smtlib-backends-tests-0.3

library	base (>=4.14 && <4.19) smtlib-backends (>=0.3 && <0.4) tasty (>=1.4.2 && <1.5) tasty-hunit (>=0.10.0 && <0.11)