Index of /pool/main/o/openocd

	Name	Last modified	Size
	Parent Directory		-
	openocd_0.10.0-5.debian.tar.xz	2019-02-08 16:41	20K
	openocd_0.10.0-5.dsc	2019-02-08 16:41	2.0K
	openocd_0.10.0-5_armhf.deb	2019-02-19 11:08	2.2M
	openocd_0.10.0.orig.tar.bz2	2017-08-18 12:11	4.6M