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

Description:

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