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