How to remove libghc-djinn-ghc-doc from Debian 9 (Stretch)