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