Resolving dependencies...
Downloading hol-1.0...
Configuring hol-1.0...
Building hol-1.0...
Installed hol-1.0