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

../
libportmidi-dev_2.0.8-1_ppc64.deb                  08-Dec-2025 18:03               77712
libportmidi2-dbgsym_2.0.8-1_ppc64.deb              08-Dec-2025 18:03               42688
libportmidi2_2.0.8-1_ppc64.deb                     08-Dec-2025 18:03               24976
portmidi_2.0.8-1_ppc64.buildinfo                   08-Dec-2025 18:03                7166