Index of /ubuntu/pool/universe/o/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd_0.0+r211.orig.tar.gz	2007-11-19 10:03	300K
	openocd_0.0+r211-1_i386.deb	2007-11-20 03:04	192K
	openocd_0.0+r211-1.diff.gz	2007-11-19 10:03	106K
	openocd_0.0+r211-1.dsc	2007-11-19 10:03	756