Index of /freexian/pool/main/o/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd_0.5.0-1+deb7u1_amd64.deb	2018-01-21 19:50	2.6M
	openocd_0.5.0-1+deb7u1_i386.deb	2018-01-21 20:50	2.5M