Come desinstalare boolector su Debian Unstable (Sid)