hol-1.2: dependencies

Dependencies for hol-1.2

library	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)
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)