Name | Last modified | Size | Description | |
---|---|---|---|---|
Parent Directory | - | |||
Manifest | 2021-12-07 08:40 | 3.0K | ||
coq-8.12.0-r2.ebuild | 2021-12-07 08:40 | 1.8K | ||
coq-8.11.2-r1.ebuild | 2021-07-26 14:39 | 1.8K | ||
coq-8.12.0-r1.ebuild | 2021-04-06 22:09 | 1.8K | ||
coq-8.11.2.ebuild | 2021-02-09 19:39 | 1.8K | ||
coq-8.13.0-r1.ebuild | 2021-07-26 14:39 | 1.8K | ||
coq-8.13.0.ebuild | 2021-04-06 22:09 | 1.8K | ||
metadata.xml | 2021-09-11 16:40 | 939 | ||