Dependencies for hol-1.4
Libraries
hol
- 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)
Executables
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)