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

../
libpolymake-dev_4.12-2_ppc64.deb                                                                                         17-Jun-2024 00:03     21K
libpolymake4.12-dbgsym_4.12-2_ppc64.deb                                                                                  17-Jun-2024 00:03      6M
libpolymake4.12_4.12-2_ppc64.deb                                                                                         17-Jun-2024 00:03    351K
polymake-dbgsym_4.12-2_ppc64.deb                                                                                         17-Jun-2024 00:03   1003M
polymake_4.12-2_ppc64.buildinfo                                                                                          17-Jun-2024 00:03    8380
polymake_4.12-2_ppc64.deb                                                                                                17-Jun-2024 00:03     22M