agda-mode has been ELPAfied. See the elpa-agda2-mode package. This transitional package is safe to remove.
Installed Size: 124.9 kB Architectures: all