architecture: arm64 component: main package: tipp10 priority: optional section: education srcpkg_name: tipp10 srcpkg_version: 3.3.2-1 version: 3.3.2-1