Index of /debian-archive/pool/main/o/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd_0.8.0-4+deb7u1_amd64.deb	2018-01-21 22:05	2.1M
	openocd_0.9.0-1+deb8u1_amd64.deb	2018-01-21 14:40	2.2M
	openocd_0.9.0-1~bpo8+1_amd64.deb	2015-06-21 13:12	2.1M