Filename | Modification time | Size |
---|---|---|
Manifest | 1510 B | |
coq-8.19.0.ebuild | 2492 B | |
coq-8.19.1.ebuild | 2493 B | |
metadata.xml | 1047 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 1510 B | |
coq-8.19.0.ebuild | 2492 B | |
coq-8.19.1.ebuild | 2493 B | |
metadata.xml | 1047 B |