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

Filename	Modification time	Size
Manifest	2024-11-19 21:10 CET	1510 B
coq-8.19.2.ebuild	2024-09-30 21:41 CEST	2483 B
coq-8.20.0.ebuild	2024-09-09 10:40 CEST	2896 B
metadata.xml	2022-02-27 05:09 CET	1047 B