How to remove libghc-presburger-dev from Debian Unstable (Sid)