Cómo desinstalar flatzinc en Debian Unstable (Sid)