Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
SmtLib-0.1.0.0
library
base
(>=4.6 && <4.8)
parsec
(>=3.1 && <3.2)
transformers
(>=0.4 && <0.5)