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