Index of /openocd

	Name	Last modified	Size

	Parent Directory		-
	openocd-0.10.0.tar.bz2	2018-10-16 19:01	4.6M
	openocd-0.11.0.tar.bz2	2021-03-08 20:21	5.4M
	openocd-0.12.0.tar.bz2	2023-01-17 18:00	6.5M

Apache/2.4.58 (Ubuntu) Server at distfiles.macports.org Port 443