Installion's Lion Logo

Installion.co.uk

How To Uninstall minlog On Debian 9

To uninstall minlog just follow these instructions.

Uninstall just minlog

Proof assistant based on first order natural deduction calculusDebian 9.0math4.0.99.20100221-6
sudo apt-get remove minlog

This will remove just the minlog package itself.

Uninstall minlog and its dependencies

sudo apt-get remove --auto-remove minlog

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

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

Or similarly, like this minlog

sudo apt-get purge --auto-remove minlog

Package Data

Packageminlog
Version4.0.99.20100221-6
MaintainerDebian QA Group <packages@qa.debian.org>
Home pagehttp://www.minlog-system.de
DescriptionProof assistant based on first order natural deduction calculus
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies