| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| Manifest | 3944 | 2026-Apr-01 05:09 | |
| coq-8.20.0-r1.ebuild | 2932 | 2025-Sep-29 00:42 | |
| coq-9.1.1.ebuild | 2751 | 2026-Feb-18 07:40 | |
| coq-9.1.0-r1.ebuild | 2750 | 2025-Nov-08 07:11 | |
| coq-9.2.0.ebuild | 2726 | 2026-Apr-01 05:09 | |
| coq-8.17.1-r1.ebuild | 2522 | 2026-Jan-05 12:11 | |
| coq-8.19.2-r1.ebuild | 2522 | 2025-Sep-29 00:42 | |
| metadata.xml | 1254 | 2025-Sep-29 00:42 | |