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

../
openocd-dbgsym_0.12.0-3+b1_x32.deb                 05-Oct-2024 12:03             3731184
openocd_0.12.0-3+b1_x32.buildinfo                  05-Oct-2024 12:03                8234
openocd_0.12.0-3+b1_x32.deb                        05-Oct-2024 12:03             3428848