Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
hol-1.1
library
base
(>=4.0 && <5.0)
bytestring
(>=0.9 && <0.10)
containers
(>=0.5 && <0.6)
pretty
(>=1.1 && <1.2)
text
(>=0.11 && <0.12)
transformers
(>=0.3 && <0.4)