How to Install and Uninstall elpa-agda2-mode Package on Ubuntu 20.04 LTS (Focal Fossa)
Last updated: December 24,2024
1. Install "elpa-agda2-mode" package
This guide let you learn how to install elpa-agda2-mode on Ubuntu 20.04 LTS (Focal Fossa)
$
sudo apt update
Copied
$
sudo apt install
elpa-agda2-mode
Copied
2. Uninstall "elpa-agda2-mode" package
Please follow the guidance below to uninstall elpa-agda2-mode on Ubuntu 20.04 LTS (Focal Fossa):
$
sudo apt remove
elpa-agda2-mode
Copied
$
sudo apt autoclean && sudo apt autoremove
Copied
3. Information about the elpa-agda2-mode package on Ubuntu 20.04 LTS (Focal Fossa)
Package: elpa-agda2-mode
Architecture: all
Version: 2.6.0.1-1build4
Priority: extra
Section: universe/editors
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 204
Provides: agda-mode
Depends: agda-bin (<< 2.6.0.1-1build4.1~), agda-bin (>= 2.6.0.1-1build4), libghc-agda-dev (<< 2.6.0.1-1build4.1~), libghc-agda-dev (>= 2.6.0.1-1build4), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Breaks: agda-mode (<< 2.5.1)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.0.1-1build4_all.deb
Size: 41180
MD5sum: 2e4fbbece37c5a1c76ebd215bbdad104
SHA1: a6155012b325750fd6931c3c6fec89eca500aa2d
SHA256: 0e79289b62ea37a07cd770787766f9eca802c7bfd64cfce142b22a447de3aa37
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b
Architecture: all
Version: 2.6.0.1-1build4
Priority: extra
Section: universe/editors
Source: agda
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Haskell Group
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 204
Provides: agda-mode
Depends: agda-bin (<< 2.6.0.1-1build4.1~), agda-bin (>= 2.6.0.1-1build4), libghc-agda-dev (<< 2.6.0.1-1build4.1~), libghc-agda-dev (>= 2.6.0.1-1build4), dh-elpa-helper, emacsen-common
Recommends: emacs (>= 46.0)
Breaks: agda-mode (<< 2.5.1)
Enhances: emacs, emacs24
Filename: pool/universe/a/agda/elpa-agda2-mode_2.6.0.1-1build4_all.deb
Size: 41180
MD5sum: 2e4fbbece37c5a1c76ebd215bbdad104
SHA1: a6155012b325750fd6931c3c6fec89eca500aa2d
SHA256: 0e79289b62ea37a07cd770787766f9eca802c7bfd64cfce142b22a447de3aa37
Homepage: http://wiki.portal.chalmers.se/agda/
Description: dependently typed functional programming language — emacs mode
Description-md5: 7cfcb4a5e7415e1476d23d2fd002910b