Installlion's Logo

Installlion.com

How To Uninstall alt-ergo On Debian 9

To uninstall alt-ergo just follow these instructions.

Uninstall just alt-ergo

Automatic theorem prover dedicated to program verificationDebian 9.0math1.30-1
sudo apt-get remove alt-ergo

This will remove just the alt-ergo package itself.

Uninstall alt-ergo and its dependencies

sudo apt-get remove --auto-remove alt-ergo

This will remove the alt-ergo 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 alt-ergo then this will work.

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

Or similarly, like this alt-ergo

sudo apt-get purge --auto-remove alt-ergo

Package Data

Packagealt-ergo
Version1.30-1
MaintainerDebian OCaml Maintainers <[email protected]>
Home pagehttp://alt-ergo.lri.fr
DescriptionAutomatic theorem prover dedicated to program verification
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies