Index of /stable/debian-5-official-release/pool/main/o/openocd/

../
openocd_0.0+r655-1.1_amd64.deb                     21-Jan-2020 12:49              542868
openocd_0.0+r655-1.1_i386.deb                      21-Jan-2020 16:30              502032