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