Mirror by Optibit

___ _ _ _ _ _ / _ \ _ __ | |_(_) |__ (_) |_ | | | | '_ \| __| | '_ \| | __| | |_| | |_) | |_| | |_) | | |_ \___/| .__/ \__|_|_.__/|_|\__| M|I|R|R|O|R |_|

/gentoo-portage/sci-mathematics/coq/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
Manifest	3.9 KiB	31-Mar-2026 20:09
coq-8.17.1-r1.ebuild	2.5 KiB	05-Jan-2026 03:11
coq-8.19.2-r1.ebuild	2.5 KiB	28-Sep-2025 15:42
coq-8.20.0-r1.ebuild	2.9 KiB	28-Sep-2025 15:42
coq-9.1.0-r1.ebuild	2.7 KiB	07-Nov-2025 22:11
coq-9.1.1.ebuild	2.7 KiB	17-Feb-2026 22:40
coq-9.2.0.ebuild	2.7 KiB	31-Mar-2026 20:09
metadata.xml	1.2 KiB	28-Sep-2025 15:42