How to remove coq from Debian Unstable (Sid)