../ openocd_0.8.0-4+deb7u1.debian.tar.xz 21-Jan-2018 22:05 14188 openocd_0.8.0-4+deb7u1.dsc 21-Jan-2018 22:05 1988 openocd_0.8.0-4+deb7u1_armhf.deb 22-Jan-2018 10:08 2101012 openocd_0.8.0.orig.tar.bz2 10-May-2014 18:01 3768447