How to remove minizinc-ide from Debian Unstable (Sid)