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

../
libpolymake-dev_4.12-3+b1_ppc64.deb                16-Oct-2024 12:03               21660
libpolymake4.12-dbgsym_4.12-3+b1_ppc64.deb         16-Oct-2024 12:03             5937040
libpolymake4.12_4.12-3+b1_ppc64.deb                16-Oct-2024 12:03              362416
polymake-dbgsym_4.12-3+b1_ppc64.deb                16-Oct-2024 12:03          1067919448
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            23507048