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