Dependencies for hol-1.2
Libraries
hol
- base (>=4.0 && <5.0)
- bytestring (>=0.9 && <0.10)
- containers (>=0.5 && <0.6)
- filepath (>=1.3 && <1.4)
- parsec (>=3.1 && <3.2)
- pretty (>=1.1 && <1.2)
- process (>=1.2 && <1.3)
- text (>=0.11 && <0.12)
- transformers (>=0.3 && <0.4)
Executables
hol-pkg
- base (>=4.0 && <5.0)
- bytestring (>=0.9 && <0.10)
- containers (>=0.5 && <0.6)
- filepath (>=1.3 && <1.4)
- parsec (>=3.1 && <3.2)
- pretty (>=1.1 && <1.2)
- process (>=1.2 && <1.3)
- QuickCheck (>=2.4 && <2.5)
- text (>=0.11 && <0.12)
- transformers (>=0.3 && <0.4)