| Name | Size | Date |
|---|---|---|
| .. | ||
| coq-8.19.2-r1.ebuild | 2.5K | 28-09-2025 15:42:21 |
| coq-8.20.0-r1.ebuild | 2.9K | 28-09-2025 15:42:21 |
| coq-9.0.0.ebuild | 2.7K | 28-09-2025 15:42:21 |
| metadata.xml | 1.2K | 28-09-2025 15:42:21 |
| coq-9.1.0-r1.ebuild | 2.7K | 07-11-2025 22:11:11 |
| Manifest | 3.3K | 05-01-2026 03:11:15 |
| coq-8.17.1-r1.ebuild | 2.5K | 05-01-2026 03:11:15 |