architecture: amd64 component: main package: libpolymake-dev priority: optional section: libdevel srcpkg_name: polymake srcpkg_version: 4.12-3 version: 4.12-3+b1