Directory: /gentoo-portage-prefix/sci-mathematics/coq/

File Name  ↓ File Size  ↓ Date  ↓ 
Parent directory/--
metadata.xml1.2 KiB2025-Nov-10 13:26
coq-8.19.2-r1.ebuild2.5 KiB2025-Nov-10 13:26
coq-8.17.1-r1.ebuild2.5 KiB2025-Nov-10 13:26
coq-9.0.0.ebuild2.7 KiB2025-Nov-10 13:26
coq-9.1.0-r1.ebuild2.7 KiB2025-Nov-10 13:26
coq-8.20.0-r1.ebuild2.9 KiB2025-Nov-10 13:26
Manifest3.3 KiB2025-Nov-10 13:26