../ openocd_0.10.0-5.debian.tar.xz 08-Feb-2019 15:41 20396 openocd_0.10.0-5.dsc 08-Feb-2019 15:41 2079 openocd_0.10.0-5_amd64.deb 08-Feb-2019 15:41 2456748 openocd_0.10.0.orig.tar.bz2 18-Aug-2017 10:11 4792636