| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 2026/04/01 17:08 | - |
| metadata.xml | 2025/09/28 15:42 | 1254 |
| coq-9.2.0.ebuild | 2026/03/31 20:09 | 2726 |
| coq-9.1.1.ebuild | 2026/02/17 22:40 | 2751 |
| coq-9.1.0-r1.ebuild | 2025/11/07 22:11 | 2750 |
| coq-8.20.0-r1.ebuild | 2025/09/28 15:42 | 2932 |
| coq-8.19.2-r1.ebuild | 2025/09/28 15:42 | 2522 |
| coq-8.17.1-r1.ebuild | 2026/01/05 03:11 | 2522 |
| Manifest | 2026/03/31 20:09 | 3944 |