How to remove mono-tools-devel from Debian Unstable (Sid)