Filename | Modification time | Size |
---|---|---|
Manifest | 2742 B | |
lean-3.51.1.ebuild | 1815 B | |
lean-4.2.0.ebuild | 1314 B | |
lean-4.11.0.ebuild | 1396 B | |
metadata.xml | 606 B |
Filename | Modification time | Size |
---|---|---|
Manifest | 2742 B | |
lean-3.51.1.ebuild | 1815 B | |
lean-4.2.0.ebuild | 1314 B | |
lean-4.11.0.ebuild | 1396 B | |
metadata.xml | 606 B |