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

	Name	Last modified	Size	Description

	Parent Directory		-
	coq-8.20.0-r1-4.xpak	2025-09-30 07:36	188M
	coq-9.1.0-r1-4.xpak	2026-02-23 23:10	135M

Apache Server at mirror.cnet.kz Port 443