How to remove proofgeneral from Debian Unstable (Sid)