Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-12-14 12:11 | 1.5K | |
coq-8.19.2.ebuild | 2024-09-30 20:41 | 2.4K | |
coq-8.20.0.ebuild | 2024-12-14 12:11 | 2.8K | |
metadata.xml | 2022-02-27 04:09 | 1.0K | |
Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-12-14 12:11 | 1.5K | |
coq-8.19.2.ebuild | 2024-09-30 20:41 | 2.4K | |
coq-8.20.0.ebuild | 2024-12-14 12:11 | 2.8K | |
metadata.xml | 2022-02-27 04:09 | 1.0K | |