How to remove coq-theories from Debian Unstable (Sid)