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

../
libportmidi-dev_2.0.7-1_ppc64.deb                  08-Nov-2025 03:03     76K
libportmidi2-dbgsym_2.0.7-1_ppc64.deb              08-Nov-2025 03:03     42K
libportmidi2_2.0.7-1_ppc64.deb                     08-Nov-2025 03:03     24K
portmidi_2.0.7-1_ppc64.buildinfo                   08-Nov-2025 03:03    7023