How to install libghc-cryptol-dev on Debian Unstable (Sid)