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

../
openocd-dbgsym_0.12.0-3+b2_x32.deb                 30-Dec-2024 00:03      4M
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      3M