Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
smtlib-backends-tests-0.3
Libraries
smtlib-backends-tests
base
(>=4.14 && <4.22)
smtlib-backends
(>=0.3 && <0.5)
tasty
(>=1.4.2 && <1.6)
tasty-hunit
(>=0.10.0 && <0.11)