Come desinstalare boogie su Ubuntu

Desinstalare boogie

Se vuoi desinstalare solamente boogie su Ubuntu esegua nella riga di comandi:

sudo apt-get remove boogie

Desinstalare boogie e i suoi pacchetti dipendenti

Se vuoi desinstalare il pacchetto boogie e qualsiasi altri pacchetti dipendenti su cui non sia più necessario su Ubuntu.

sudo apt-get autoremove boogie

Pulire boogie

Se vuoi anche pulire le configurazione ed i dati di boogie su Ubuntu esegua i seguenti comandi:

sudo apt-get purge boogie

Se vuoi pulire le configurazione e i dati di boogie ed i suoi pacchetti dipendenti su Ubuntu esegua:

sudo apt-get autoremove --purge boogie

Informazioni del pacchetto boogie

nome boogie
sezione cli-mono
descrizione

verifiable programming language (compiler)

sito research.microsoft.com/ en-us/ projects/ boogie/ 
responsabile bbaren@mit.edu

More information about apt-get remove

Advanced Package Tool, or APT, is a free software user interface that works with core libraries to handle the installation and removal of software on Debian, Ubuntu and other Linux distributions. APT simplifies the process of managing software on Unix-like computer systems by automating the retrieval, configuration and installation of software packages, either from precompiled files or by compiling source code.

apt-get is the command-line tool for handling packages, and may be considered the user's "back-end" to other tools using the APT library.

apt-get remove is identical to install except that packages are removed instead of installed. Note that removing a package leaves its configuration files on the system. If a plus sign is appended to the package name (with no intervening space), the identified package will be installed instead of removed.

Vedi anche

Come instalare il pacchetto boogie su Ubuntu