How to install libghc-presburger-prof on Debian Unstable (Sid)