../ openocd_0.5.0-1+deb7u1.debian.tar.xz 21-Jan-2018 18:50 409908 openocd_0.5.0-1+deb7u1.dsc 21-Jan-2018 18:50 2162 openocd_0.5.0-1+deb7u1_amd64.deb 21-Jan-2018 18:50 2722764 openocd_0.5.0.orig.tar.bz2 11-Aug-2011 06:47 2228655