Filename | Modification time | Size |
---|---|---|
Manifest | 2149 B | |
coq-serapi-0.19.0.ebuild | 1506 B | |
coq-serapi-0.20.0.ebuild | 1631 B | |
metadata.xml | 935 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 2149 B | |
coq-serapi-0.19.0.ebuild | 1506 B | |
coq-serapi-0.20.0.ebuild | 1631 B | |
metadata.xml | 935 B |