Index of /debian/pool/main/p/polymake/

../
libpolymake-dev-common_4.12-3_all.deb              20-Aug-2024 17:59              611276
libpolymake-dev_4.12-3+b2_amd64.deb                27-Jan-2025 10:04               21664
libpolymake4.12_4.12-3+b2_amd64.deb                27-Jan-2025 10:04              372368
polymake-common_4.12-3_all.deb                     20-Aug-2024 17:59             5483576
polymake_4.12-3+b2_amd64.deb                       27-Jan-2025 10:04            24438976