Index of /desktop-professional/pool/main/p/polymake/

../
libpolymake-dev-common_3.2r4-4_all.deb             09-May-2026 17:33              534748
libpolymake-dev_3.2r4-4_amd64.deb                  09-May-2026 17:33               14876
libpolymake3.2_3.2r4-4_amd64.deb                   09-May-2026 17:33              297276
polymake-common_3.2r4-4_all.deb                    09-May-2026 17:33             1905900
polymake_3.2r4-4_amd64.deb                         09-May-2026 17:33            14857288