Como desinstalar libghc-resource-pool-dev do Debian 9 (Stretch)