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