How to Install agda-mode in Ubuntu 18.04

Install agda-mode by entering the following commands in the terminal:

sudo apt update
sudo apt install agda-mode


transitional dummy package for elpa-agda2-mode

agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.


Version: 2.5.3-3build1

Section: universe/misc