How to remove hol88-library-help from Debian Unstable (Sid)