Index of /ubuntu/pool/main/o/openocd/

../
openocd_0.10.0-4_amd64.deb                         28-May-2020 18:09             2116956
openocd_0.9.0-1+deb8u1build0.16.04.1_amd64.deb     28-May-2020 21:25             1916402