../ openocd_0.8.0-4+deb7u1.debian.tar.xz 04-May-2018 12:39 14K openocd_0.8.0-4+deb7u1.dsc 04-May-2018 12:39 1988 openocd_0.8.0-4+deb7u1_amd64.deb 04-May-2018 12:44 2M openocd_0.8.0-4+deb7u1_i386.deb 04-May-2018 12:49 2M openocd_0.8.0.orig.tar.bz2 27-Sep-2017 14:41 4M