Installion's Lion Logo

Installion.co.uk

How To Uninstall boogie On Kali Linux 2017.1

To uninstall boogie just follow these instructions.

Uninstall just boogie

linuxverifiable programming language (compiler) checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice.cli-mono2.3.0.61016+dfsg+3.gbp1f2d6c1-1
sudo apt-get remove boogie

This will remove just the boogie package itself.

Uninstall boogie and its dependencies

sudo apt-get remove --auto-remove boogie

This will remove the boogie package and any other dependant packages which are no longer needed.

Purging your config/data too

If you also want to delete your local/config files for boogie then this will work.

 Caution! Purged config/data can not be restored by reinstalling the package.
sudo apt-get purge boogie

Or similarly, like this boogie

sudo apt-get purge --auto-remove boogie

Package Data

Packageboogie
Version2.3.0.61016+dfsg+3.gbp1f2d6c1-1
MaintainerBenjamin Barenblat <bbaren@mit.edu>
Home pagehttp://research.microsoft.com/en-us/projects/boogie/
Descriptionverifiable programming language (compiler) checking using an SMT solver such as Z3. It supports program verification for a variety of other, higher-level languages, including Spec\#, C, Dafny, and Chalice.
Distrokalilinux
Releasekalilinux
Repomain
Sectioncli-mono

Dependencies