Index of /pub/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd-0.6.1-bin.tar.gz	2012-11-05 09:17	4.6M
	openocd-0.6.1.pdf	2012-11-01 14:24	915K
	openocd-0.6.1.tar.bz2	2012-11-07 17:56	3.3M
	openocd-0.6.1.txt	2019-09-26 15:01	484
	openocd-0.8.0-bin.tar.gz	2014-10-22 08:02	3.1M
	openocd-0.8.0.pdf	2014-10-22 07:55	967K
	openocd-0.8.0.tar.bz2	2014-10-22 08:04	3.6M
	openocd-0.9.0-bin.tar.gz	2016-09-30 14:51	3.9M
	openocd-0.10.0-dev.tar.gz	2019-09-26 14:46	5.8M
	openocd-0.10.0-dev.txt	2019-09-26 14:53	851