Cómo desinstalar boolector en Debian Unstable (Sid)