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

../
openocd-dbgsym_0.12.0-1+b3_ia64.deb                29-Mar-2024 00:03             4687916
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             3707740