Index of /grp/x86_64/sci-mathematics/coq

	Name	Last modified	Size	Description

	Parent Directory		-
	coq-8.19.0-4.xpak	2024-03-02 22:05	199M

Apache Server at mirror.cnet.kz Port 80