How to remove libghc-gitlib-dev from Debian 9 (Stretch)