How to install hol88-library on Debian 9 (Stretch)