How to remove gnome-mines from Debian Unstable (Sid)