hol-1.3: dependencies

Dependencies for hol-1.3

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)