Installion's Lion Logo

Installion.co.uk

How To Uninstall acl2-infix On Debian 9

To uninstall acl2-infix just follow these instructions.

Uninstall just acl2-infix

Computational Logic for Applicative Common LispDebian 9.0math7.2dfsg-3
sudo apt-get remove acl2-infix

This will remove just the acl2-infix package itself.

Uninstall acl2-infix and its dependencies

sudo apt-get remove --auto-remove acl2-infix

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

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

Or similarly, like this acl2-infix

sudo apt-get purge --auto-remove acl2-infix

Package Data

Packageacl2-infix
Version7.2dfsg-3
MaintainerCamm Maguire <camm@debian.org>
DescriptionComputational Logic for Applicative Common Lisp
Distrodebian
Releasestretch
Repomain
Sectionmath

Dependencies