architecture: all component: main package: jed-extra priority: optional section: editors srcpkg_name: jed-extra srcpkg_version: 2.5.7-9 version: 2.5.7-9