How to remove coinor-libclp-doc from Debian Unstable (Sid)