Cómo desinstalar why3 en Debian Unstable (Sid)