How to Install and Uninstall agda-mode Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: December 25,2024

1. Install "agda-mode" package

Please follow the step by step instructions below to install agda-mode on Ubuntu 20.04 LTS (Focal Fossa)

$ sudo apt update $ sudo apt install agda-mode

2. Uninstall "agda-mode" package

Please follow the steps below to uninstall agda-mode on Ubuntu 20.04 LTS (Focal Fossa):

$ sudo apt remove agda-mode $ sudo apt autoclean && sudo apt autoremove

3. Information about the agda-mode package on Ubuntu 20.04 LTS (Focal Fossa)

Package: agda-mode
Architecture: all
Version: 2.6.0.1-1build4
Priority: optional
Section: universe/misc
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 23
Filename: pool/universe/a/agda/agda-mode_2.6.0.1-1build4_all.deb
Size: 3644
MD5sum: 52bfc8d75d1b5dde576d0b1594c3f2f7
SHA1: 757ec4c5f30596e6664a0a7da6d84fad4a6d4495
SHA256: 2aaf9f7a284d1979d95fad99a618df8d38f8aced5eaf9b1c74be7b707fbca19f
Homepage: http://wiki.portal.chalmers.se/agda/
Description: transitional dummy package for elpa-agda2-mode
Description-md5: b4ab993ba79d4001f6691d6c30eef4fa