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