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

../
libpolymake-dev_4.12-3+b2_ppc64.deb                27-Jan-2025 21:03     21K
libpolymake4.12-dbgsym_4.12-3+b2_ppc64.deb         27-Jan-2025 21:03      6M
libpolymake4.12_4.12-3+b2_ppc64.deb                27-Jan-2025 21:03    354K
polymake-dbgsym_4.12-3+b2_ppc64.deb                27-Jan-2025 21:03   1019M
polymake_4.12-3+b2_ppc64.buildinfo                 27-Jan-2025 21:03    9069
polymake_4.12-3+b2_ppc64.deb                       27-Jan-2025 21:03     22M