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

../
libportmidi-dev_2.0.8-1_ppc64.deb                  08-Dec-2025 18:03     76K
libportmidi2-dbgsym_2.0.8-1_ppc64.deb              08-Dec-2025 18:03     42K
libportmidi2_2.0.8-1_ppc64.deb                     08-Dec-2025 18:03     24K
portmidi_2.0.8-1_ppc64.buildinfo                   08-Dec-2025 18:03    7166