Index of /nightly/debian-12-official-release/pool/main/o/openocd/

../
openocd_0.12.0-1_amd64.deb                         02-Mar-2023 09:54             3512160