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