Cómo desinstalar libghc-resource-pool-dev en Debian 9 (Stretch)