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

	Name	Last modified	Size	Description

	Parent Directory		-
	openocd_0.9.0-1+deb8u1_amd64.deb	21-Jan-2018 15:40	2.2M
	openocd_0.10.0-4~bpo9+1_amd64.deb	25-Jan-2018 05:02	2.3M

Apache/2.2.22 (Debian) Server at mirrors.easysuite.it Port 443