Index of /debian-ports/pool-ppc64/main/p/polymake/

../
libpolymake-dev_4.12-3+b1_ppc64.deb                                                                                      16-Oct-2024 12:03     21K
libpolymake4.12-dbgsym_4.12-3+b1_ppc64.deb                                                                               16-Oct-2024 12:03      6M
libpolymake4.12_4.12-3+b1_ppc64.deb                                                                                      16-Oct-2024 12:03    354K
polymake-dbgsym_4.12-3+b1_ppc64.deb                                                                                      16-Oct-2024 12:03   1018M
polymake_4.12-3+b1_ppc64.buildinfo                                                                                       16-Oct-2024 12:03    8756
polymake_4.12-3+b1_ppc64.deb                                                                                             16-Oct-2024 12:03     22M