Index of /grp/x86_64/dev-embedded/openocd

	Name	Last modified	Size	Description

	Parent Directory		-
	openocd-0.12.0-r1-4.xpak	2024-09-09 15:59	2.2M

Apache Server at mirror.cnet.kz Port 443