Installlion's Logo

Installlion.com

How To Uninstall acl2-infix-source On Ubuntu 16.04 LTS

To uninstall acl2-infix-source just follow these instructions.

Uninstall just acl2-infix-source

Computational Logic for Applicative Common LispUbuntu 16.04 LTSuniverse/math7.1-1
sudo apt-get remove acl2-infix-source

This will remove just the acl2-infix-source package itself.

Uninstall acl2-infix-source and its dependencies

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

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

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

Or similarly, like this acl2-infix-source

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

Package Data

Packageacl2-infix-source
Version7.1-1
MaintainerUbuntu Developers <[email protected]>
DescriptionComputational Logic for Applicative Common Lisp
Distroubuntu
Releasexenial
Repouniverse
Sectionuniverse/math

Dependencies