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