| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📁 files/ | - | 2026-04-20 03:38:11 |
| 📄 lean-4.14.0-r1.ebuild | 1914 bytes | 2025-10-14 20:15:07 |
| 📄 lean-4.23.0.ebuild | 1843 bytes | 2025-10-14 20:15:07 |
| 📄 lean-4.24.0.ebuild | 1843 bytes | 2026-04-18 01:38:22 |
| 📄 Manifest | 2443 bytes | 2026-04-18 01:38:22 |
| 📄 metadata.xml | 954 bytes | 2025-01-02 22:11:28 |