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