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

../
libpolymake-dev-common_3.2r4-4_all.deb             31-Aug-2022 14:41              534748
libpolymake-dev-common_4.3-4_all.deb               01-Sep-2022 17:35              572340
libpolymake-dev_3.2r4-4_amd64.deb                  31-Aug-2022 14:41               14876
libpolymake-dev_4.3-4_amd64.deb                    01-Sep-2022 17:35               19068
libpolymake3.2_3.2r4-4_amd64.deb                   31-Aug-2022 14:41              297276
libpolymake4.3_4.3-4_amd64.deb                     01-Sep-2022 17:35              338260
polymake-common_3.2r4-4_all.deb                    31-Aug-2022 14:41             1905900
polymake-common_4.3-4_all.deb                      01-Sep-2022 17:35             3900140
polymake_3.2r4-4_amd64.deb                         31-Aug-2022 14:41            14857288
polymake_4.3-4_amd64.deb                           01-Sep-2022 17:35            20236180