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

../
libpolymake-dev_4.12-3+b2_ppc64.deb                27-Jan-2025 12:03               21656
libpolymake4.12-dbgsym_4.12-3+b2_ppc64.deb         27-Jan-2025 12:03             5937044
libpolymake4.12_4.12-3+b2_ppc64.deb                27-Jan-2025 12:03              362140
polymake-dbgsym_4.12-3+b2_ppc64.deb                27-Jan-2025 12:03          1068011112
polymake_4.12-3+b2_ppc64.buildinfo                 27-Jan-2025 12:03                9069
polymake_4.12-3+b2_ppc64.deb                       27-Jan-2025 12:03            23479532