How to remove gtk-sharp3-gapi from Debian 9 (Stretch)