../ openocd_0.5.0-1+deb7u1_amd64.deb 21-Jan-2018 18:50 2722764 openocd_0.8.0-4+deb7u1_amd64.deb 21-Jan-2018 22:05 2216734 openocd_0.9.0-1+deb8u1_amd64.deb 21-Jan-2018 14:40 2269242