Index of /pub/linux/gentoo-portage/sci-mathematics/coq/

Filename	Modification time	Size
Manifest	2024-12-14 13:11 CET	1510 B
coq-8.19.2.ebuild	2024-09-30 21:41 CEST	2483 B
coq-8.20.0.ebuild	2024-12-14 13:11 CET	2895 B
metadata.xml	2022-02-27 05:09 CET	1047 B