How to install hol88-library on Debian Unstable (Sid)