Index of /mirror/debian/pool/main/o/openocd/

../
openocd_0.12.0-1_arm64.deb                         16-Jan-2023 11:58             3410804
openocd_0.12.0-1_armel.deb                         16-Jan-2023 11:58             3381980
openocd_0.12.0-1_armhf.deb                         16-Jan-2023 12:13             3391544