Como desinstalar boolector do Debian Unstable (Sid)