How to remove coqide from Debian Unstable (Sid)