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

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