How to remove monodevelop-database from Debian 9 (Stretch)