| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📁 files/ | - | 2026-06-06 04:38:21 |
| 📄 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 | 1842 bytes | 2026-06-02 05:08:33 |
| 📄 Manifest | 2443 bytes | 2026-06-02 05:08:33 |
| 📄 metadata.xml | 954 bytes | 2025-01-02 22:11:28 |