How to remove prover9-mace4 from Debian Unstable (Sid)