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

Filename	Modification time	Size
Manifest	2024-09-30 21:41 CEST	2724 B
coq-8.19.0.ebuild	2024-05-24 00:41 CEST	2491 B
coq-8.19.1.ebuild	2024-05-24 00:41 CEST	2492 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