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

Filename	Modification time	Size
Manifest	2025-03-11 22:11 CET	2126 B
coq-8.17.1-r1.ebuild	2025-03-11 22:11 CET	2510 B
coq-8.19.2-r1.ebuild	2025-03-11 22:11 CET	2509 B
coq-8.20.0-r1.ebuild	2025-03-11 22:11 CET	2921 B
metadata.xml	2022-02-27 05:09 CET	1047 B