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