Ubuntu

agda-mode 2.6.0.1-1 (amd64 binary) in ubuntu eoan

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

Details

Package version:: 2.6.0.1-1

Source:: agda 2.6.0.1-1 source package in Ubuntu

Status:: Superseded

Component:: universe

Priority:: Optional

Downloadable files

amd64 build of agda 2.6.0.1-1 in ubuntu eoan PROPOSED produced these files:

agda-mode_2.6.0.1-1_all.deb (3.6 KiB)

Package relationships