| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| files/ | - | 2022-Aug-16 03:10 |
| metadata.xml | 606 | 2022-Feb-22 18:39 |
| lean-3.9999.ebuild | 1786 | 2022-Aug-02 22:10 |
| lean-3.44.1.ebuild | 1786 | 2022-Aug-02 22:10 |
| lean-3.45.0.ebuild | 1786 | 2022-Aug-02 22:10 |
| lean-3.46.0.ebuild | 1786 | 2022-Aug-09 01:10 |
| Manifest | 2740 | 2022-Aug-09 01:10 |