Resolving dependencies...
Downloading  hol-1.4
Downloaded   hol-1.4
Starting     hol-1.4
Building     hol-1.4
Completed    hol-1.4