Index of /es.archive.ubuntu.com/ubuntu/pool/universe/o/openocd

	Name	Last modified	Size	Description
	Parent Directory		-
	openocd_0.10.0-4_amd64.deb	2018-01-19 00:33	2.0M
	openocd_0.10.0-4_i386.deb	2018-01-19 00:33	2.0M