Dependencies for hol-1.4

library
hol-pkg