agda-mode 2.6.0.1-1build1 (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-1build1
Source:
agda 2.6.0.1-1build1 source package in Ubuntu
Status:
Superseded
Component:
universe
Priority:
Optional

Package relationships