Name | Last modified | Size | |
---|---|---|---|
Parent Directory | - | ||
coq-8.19.0.ebuild | 23-May-2024 23:41 | 2.4K | |
coq-8.19.1.ebuild | 23-May-2024 23:41 | 2.4K | |
coq-8.19.2.ebuild | 10-Jun-2024 15:11 | 2.4K | |
coq-8.20.0.ebuild | 09-Sep-2024 09:40 | 2.8K | |
Manifest | 09-Sep-2024 09:40 | 2.7K | |
metadata.xml | 27-Feb-2022 04:09 | 1.0K |