architecture: all component: main package: education-menus priority: optional section: misc srcpkg_name: debian-edu srcpkg_version: 2.12.15 version: 2.12.15