Cómo desinstalar libgecode-dev en Debian Unstable (Sid)