Links for openocd
openocd-0.12.0.tar.gz