Index of /pool/basic/debian/p/polymake/

../
libpolymake-dev-common_4.12-3_all.deb              23-Sep-2026 08:36              611276
libpolymake-dev_4.12-3+b2_amd64.deb                23-Sep-2026 08:37               21664
libpolymake4.12_4.12-3+b2_amd64.deb                23-Sep-2026 08:37              372368
polymake-common_4.12-3_all.deb                     23-Sep-2026 08:36             5483576
polymake_4.12-3+b2_amd64.deb                       23-Sep-2026 08:36            24438976