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

../
openocd-dbgsym_0.12.0-3+b2_x32.deb                 30-Dec-2024 00:03             3740380
openocd_0.12.0-3+b2_x32.buildinfo                  30-Dec-2024 00:03                8505
openocd_0.12.0-3+b2_x32.deb                        30-Dec-2024 00:03             3428768