architecture: all component: main package: elpa-agda2-mode priority: optional section: editors srcpkg_name: agda srcpkg_version: 2.6.2.2-1.1 version: 2.6.2.2-1.1