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

../
openocd-dbgsym_0.12.0-4_x32.deb                    02-Sep-2026 00:03      4M
openocd_0.12.0-4_x32.buildinfo                     02-Sep-2026 00:03    8243
openocd_0.12.0-4_x32.deb                           02-Sep-2026 00:03      3M