Index of /pub/gwdg/ubuntu/22.04/pool/universe/p/polymake/

../
libpolymake-dev-common_4.4-4build2_all.deb         07-Mar-2022 19:33              574814
libpolymake-dev_4.4-4build2_amd64.deb              07-Mar-2022 19:33                6608
libpolymake4.4_4.4-4build2_amd64.deb               07-Mar-2022 19:33              318368
polymake-common_4.4-4build2_all.deb                07-Mar-2022 19:33             3943572
polymake_4.4-4build2_amd64.deb                     07-Mar-2022 19:33            12609108