Filename | Modification time | Size |
---|---|---|
Manifest | 2132 B | |
lean-3.51.1.ebuild | 1815 B | |
lean-4.2.0.ebuild | 1319 B | |
metadata.xml | 606 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 2132 B | |
lean-3.51.1.ebuild | 1815 B | |
lean-4.2.0.ebuild | 1319 B | |
metadata.xml | 606 B |