Index of /pub/linux/linuxdeepin/server/pool/main/o/openocd/


../
openocd_0.8.0-4.debian.tar.xz                      20-Oct-2014 21:03               11556
openocd_0.8.0-4.dsc                                20-Oct-2014 21:03                1944
openocd_0.8.0-4_amd64.deb                          20-Oct-2014 21:59             2212836
openocd_0.8.0-4_i386.deb                           20-Oct-2014 22:14             2247696
openocd_0.8.0.orig.tar.bz2                         10-May-2014 18:01             3768447