| Name | Last modified | Size |
|---|---|---|
| Parent Directory | 2026/06/10 22:38 | - |
| Manifest | 2026/06/02 05:08 | 2443 |
| lean-4.14.0-r1.ebuild | 2025/10/14 20:15 | 1914 |
| lean-4.23.0.ebuild | 2025/10/14 20:15 | 1843 |
| lean-4.24.0.ebuild | 2026/06/02 05:08 | 1842 |
| metadata.xml | 2025/01/02 22:11 | 954 |
| files/ | 2026/06/10 22:38 | - |