Como desinstalar why3 do Debian Unstable (Sid)