Installion's Lion Logo

Installion.co.uk

How To Uninstall maude On Ubuntu 14.04 LTS

To uninstall maude just follow these instructions.

Uninstall just maude

high-performance logical frameworkUbuntu 14.04 LTSuniverse/science2.6-4
sudo apt-get remove maude

This will remove just the maude package itself.

Uninstall maude and its dependencies

sudo apt-get remove --auto-remove maude

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

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

Or similarly, like this maude

sudo apt-get purge --auto-remove maude

Package Data

Packagemaude
Version2.6-4
MaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Home pagehttp://maude.cs.uiuc.edu
Descriptionhigh-performance logical framework
Distroubuntu
Releasetrusty
Repouniverse
Sectionuniverse/science

Dependencies