openocd_0.10.0-6build1_amd64.deb
openocd_0.12.0-1build2_amd64.deb
openocd_0.12.0-3build3_amd64.deb