Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
z3-encoding-0.3.0.0
library
base
(>=4.9 && <4.10)
containers
(>=0.5 && <0.6)
mtl
(>=2.2 && <2.3)
z3
(>=4.1.0)