Hackage :: [Package]
Home
Search
Browse
What's new
Upload
User accounts
Dependencies for
hol-1.4
library
base
(>=4.0 && <5.0)
bytestring
(>=0.9)
containers
(>=0.5)
filepath
(>=1.3)
parsec
(>=3.1)
pretty
(>=1.1)
process
(>=1.2)
text
(>=0.11)
transformers
(>=0.3)
hol-pkg
base
(>=4.0 && <5.0)
bytestring
(>=0.9)
containers
(>=0.5)
filepath
(>=1.3)
parsec
(>=3.1)
pretty
(>=1.1)
process
(>=1.2)
text
(>=0.11)
transformers
(>=0.3)