architecture: arm64 component: main package: libpolymake4.12 priority: optional section: libs srcpkg_name: polymake srcpkg_version: 4.12-3 version: 4.12-3+b1