| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 coq-8.17.1-r1.ebuild | 2523 bytes | 2025-09-28 15:42:21 |
| 📄 coq-8.19.2-r1.ebuild | 2522 bytes | 2025-09-28 15:42:21 |
| 📄 coq-8.20.0-r1.ebuild | 2932 bytes | 2025-09-28 15:42:21 |
| 📄 coq-9.0.0.ebuild | 2736 bytes | 2025-09-28 15:42:21 |
| 📄 coq-9.1.0-r1.ebuild | 2750 bytes | 2025-11-07 22:11:11 |
| 📄 Manifest | 3339 bytes | 2025-11-07 22:11:11 |
| 📄 metadata.xml | 1254 bytes | 2025-09-28 15:42:21 |