![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| Manifest | 2025-03-28 22:12 | 2.7K | |
| coq-8.6.1-r1.ebuild | 2019-11-04 16:09 | 2.0K | |
| coq-8.6.1.ebuild | 2018-04-09 21:39 | 1.9K | |
| coq-8.6.ebuild | 2018-04-09 21:39 | 1.9K | |
| coq-8.9.1-r1.ebuild | 2019-11-24 02:09 | 1.8K | |
| coq-8.9.1-r2.ebuild | 2020-01-07 22:09 | 1.8K | |
| coq-8.9.1.ebuild | 2019-09-24 12:09 | 1.8K | |
| coq-8.11.2-r1.ebuild | 2022-05-31 19:10 | 1.8K | |
| coq-8.11.2.ebuild | 2021-02-09 18:39 | 1.8K | |
| coq-8.12.0-r1.ebuild | 2021-04-06 21:09 | 1.8K | |
| coq-8.12.0-r2.ebuild | 2023-06-09 17:40 | 1.8K | |
| coq-8.12.0.ebuild | 2020-10-13 15:09 | 1.8K | |
| coq-8.13.0-r1.ebuild | 2023-04-11 16:40 | 1.8K | |
| coq-8.13.0.ebuild | 2021-04-06 21:09 | 1.8K | |
| coq-8.15.0-r2.ebuild | 2022-03-13 14:39 | 2.3K | |
| coq-8.15.0.ebuild | 2022-01-28 19:10 | 2.3K | |
| coq-8.15.1.ebuild | 2022-03-22 20:39 | 2.3K | |
| coq-8.15.2.ebuild | 2023-04-11 16:40 | 2.3K | |
| coq-8.16.0.ebuild | 2023-02-14 06:40 | 2.4K | |
| coq-8.16.1.ebuild | 2023-04-11 16:40 | 2.4K | |
| coq-8.17.0.ebuild | 2023-07-17 14:40 | 2.3K | |
| coq-8.17.1-r1.ebuild | 2025-03-11 22:11 | 2.5K | |
| coq-8.17.1.ebuild | 2025-02-08 23:11 | 2.4K | |
| coq-8.18.0.ebuild | 2024-01-16 07:12 | 2.3K | |
| coq-8.19.0.ebuild | 2024-05-24 00:41 | 2.4K | |
| coq-8.19.1.ebuild | 2024-05-24 00:41 | 2.4K | |
| coq-8.19.2-r1.ebuild | 2025-03-11 22:11 | 2.5K | |
| coq-8.19.2.ebuild | 2025-02-08 23:11 | 2.4K | |
| coq-8.20.0-r1.ebuild | 2025-03-11 22:11 | 2.9K | |
| coq-8.20.0.ebuild | 2025-02-08 23:11 | 2.8K | |
| coq-9.0.0.ebuild | 2025-03-28 22:12 | 2.7K | |
| metadata.xml | 2025-03-17 01:11 | 1.1K | |