Cómo desinstalar libghc-mime-types-dev en Debian 9 (Stretch)