Installlion's Logo

Installlion.com

How To Uninstall agda-mode On Debian 9

To uninstall agda-mode just follow these instructions.

Uninstall just agda-mode

transitional dummy package for elpa-agda2-modeDebian 9.0misc2.5.1.1-3
sudo apt-get remove agda-mode

This will remove just the agda-mode package itself.

Uninstall agda-mode and its dependencies

sudo apt-get remove --auto-remove agda-mode

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

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

Or similarly, like this agda-mode

sudo apt-get purge --auto-remove agda-mode

Package Data

Packageagda-mode
Version2.5.1.1-3
MaintainerDebian Haskell Group <[email protected]>
Home pagehttp://wiki.portal.chalmers.se/agda/
Descriptiontransitional dummy package for elpa-agda2-mode
Distrodebian
Releasestretch
Repomain
Sectionmisc

Dependencies

agda-mode is not dependent on any other packages.