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

	Name	Last modified	Size	Description

	Parent Directory		-
	coq-8.19.0-4.xpak	2024-08-15 20:35	197M
	coq-8.19.2-4.xpak	2024-10-04 13:19	197M
	coq-8.20.0-4.xpak	2024-12-31 00:45	188M
	coq-8.20.0-r1-4.xpak	2025-03-13 08:41	188M

Apache Server at mirror.cnet.kz Port 443