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

../
openocd-dbgsym_0.12.0-4_x32.deb                    02-Sep-2026 00:03             3774896
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             3481824