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

../
openocd-dbgsym_0.12.0-1+b3_ia64.deb                                                                                      29-Mar-2024 00:03      4M
openocd_0.12.0-1+b3_ia64.buildinfo                                                                                       29-Mar-2024 00:03    8732
openocd_0.12.0-1+b3_ia64.deb                                                                                             29-Mar-2024 00:03      4M