Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-05-23 23:41 | 1.5K | |
coq-8.19.0.ebuild | 2024-05-23 23:41 | 2.4K | |
coq-8.19.1.ebuild | 2024-05-23 23:41 | 2.4K | |
metadata.xml | 2022-02-27 04:09 | 1.0K | |
Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
Manifest | 2024-05-23 23:41 | 1.5K | |
coq-8.19.0.ebuild | 2024-05-23 23:41 | 2.4K | |
coq-8.19.1.ebuild | 2024-05-23 23:41 | 2.4K | |
metadata.xml | 2022-02-27 04:09 | 1.0K | |