Index of /debian-ports/pool-ppc64/main/o/openocd/

../
openocd-dbgsym_0.12.0-3+b2_ppc64.deb               30-Dec-2024 09:03      4M
openocd_0.12.0-3+b2_ppc64.buildinfo                30-Dec-2024 09:03    8515
openocd_0.12.0-3+b2_ppc64.deb                      30-Dec-2024 09:03      3M