../ openocd_0.5.0-1.debian.tar.gz 11-Aug-2011 06:47 519697 openocd_0.5.0-1.dsc 11-Aug-2011 06:47 1228 openocd_0.5.0-1_amd64.deb 11-Aug-2011 06:47 2715386 openocd_0.5.0.orig.tar.bz2 11-Aug-2011 06:47 2228655