architecture: amd64 component: main package: education-main-server priority: optional section: misc srcpkg_name: debian-edu srcpkg_version: 2.12.15 version: 2.12.15+b1