Index of /debian/pool/non-free/o/openocd/

../
openocd_0.10.0-5_amd64.deb                         08-Jan-2023 13:30             2456748
openocd_0.10.0-5_i386.deb                          08-Jan-2023 14:09             2474284
openocd_0.9.0-1+deb8u1_amd64.deb                   08-Jan-2023 17:46             2269242
openocd_0.9.0-1+deb8u1_i386.deb                    08-Jan-2023 18:02             2298408