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