Package: hol-light

"hol-light" package binaries on Debian:

/usr/bin/hol-light /usr/share/hol-light/miz3/bin/miz3 /usr/share/hol-light/miz3/bin/miz3e /usr/share/hol-light/miz3/bin/miz3f

You may install this package on Debian with apt-get install hol-light