Index of /gentoo-portage/sci-mathematics/coq/
| Name | Last Modification | Size | |
![[DIR]](/cherokee_icons/arrow_turn_left.png){kind=icon}
|
Parent Directory | - | |
![[ ]](/cherokee_icons/page_white.png){kind=icon}
|
coq-8.17.1-r1.ebuild | 05-Jan-2026 03:11 | 2.5K |
|
|
coq-8.19.2-r1.ebuild | 28-Sep-2025 15:42 | 2.5K |
|
|
coq-8.20.0-r1.ebuild | 28-Sep-2025 15:42 | 2.9K |
|
|
coq-9.1.0-r1.ebuild | 07-Nov-2025 22:11 | 2.7K |
|
|
coq-9.1.1.ebuild | 17-Feb-2026 22:40 | 2.7K |
|
|
coq-9.2.0.ebuild | 31-Mar-2026 20:09 | 2.7K |
|
|
Manifest | 31-Mar-2026 20:09 | 3.9K |
|
|
metadata.xml | 28-Sep-2025 15:42 | 1.2K |
Cherokee web server 1.2, Port 80