How to remove libghc-agda-doc from Debian Unstable (Sid)