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

	Name	Last modified	Size	Description

	Parent Directory		-
	openocd-0.12.0-r1-4.xpak	2023-11-19 10:35	2.2M

Apache Server at mirror.cnet.kz Port 80