| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| files/ | - | 2022-May-20 20:40 |
| Manifest | 3349 | 2022-May-18 19:40 |
| lean-3.39.1.ebuild | 1759 | 2022-Mar-26 20:10 |
| lean-3.42.0.ebuild | 1760 | 2022-Mar-18 20:10 |
| lean-3.42.1.ebuild | 1760 | 2022-Mar-27 02:10 |
| lean-3.43.0.ebuild | 1760 | 2022-May-18 19:40 |
| lean-3.9999.ebuild | 1760 | 2022-Feb-22 18:39 |
| metadata.xml | 606 | 2022-Feb-22 18:39 |