How to install hol-light on Debian Unstable (Sid)