Index of /pool/universe/o/openocd

	Name	Last modified	Size
	Parent Directory		-
	openocd_0.0+r211-1.diff.gz	2007-11-19 15:03	106K
	openocd_0.0+r211-1.dsc	2007-11-19 15:03	756
	openocd_0.0+r211.orig.tar.gz	2007-11-19 15:03	300K