architecture: arm64 component: main package: education-desktop-gnome priority: optional section: gnome srcpkg_name: debian-edu srcpkg_version: 2.12.15 version: 2.12.15