| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| files/ | - | 2024-Apr-19 06:10 |
| Manifest | 2.1 KiB | 2024-Jan-18 17:40 |
| lean-3.51.0.ebuild | 1.8 KiB | 2023-May-17 21:10 |
| lean-3.9999.ebuild | 1.8 KiB | 2023-Apr-18 14:10 |
| lean-3.50.3.ebuild | 1.8 KiB | 2023-May-26 07:40 |
| lean-3.51.1.ebuild | 1.8 KiB | 2023-Aug-15 16:10 |
| lean-3.45.0.ebuild | 1.7 KiB | 2022-Aug-02 22:10 |
| lean-3.43.0.ebuild | 1.7 KiB | 2022-Aug-02 22:10 |
| lean-3.44.1.ebuild | 1.7 KiB | 2022-Aug-02 22:10 |
| lean-3.46.0.ebuild | 1.7 KiB | 2022-Aug-09 01:10 |
| lean-3.37.0.ebuild | 1.7 KiB | 2022-Jan-08 03:10 |
| lean-3.35.1-r2.ebuild | 1.7 KiB | 2021-Dec-04 03:09 |
| lean-3.35.1-r1.ebuild | 1.7 KiB | 2021-Nov-26 14:40 |
| lean-3.49.1.ebuild | 1.7 KiB | 2022-Nov-18 22:40 |
| lean-3.47.0.ebuild | 1.7 KiB | 2022-Aug-26 00:40 |
| lean-3.50.1.ebuild | 1.7 KiB | 2022-Dec-22 00:10 |
| lean-3.50.2.ebuild | 1.7 KiB | 2022-Dec-24 03:10 |
| lean-3.48.0.ebuild | 1.7 KiB | 2022-Aug-30 14:40 |
| lean-3.50.0.ebuild | 1.7 KiB | 2022-Dec-15 09:10 |
| lean-3.49.0.ebuild | 1.7 KiB | 2022-Dec-22 00:10 |
| lean-3.41.0.ebuild | 1.7 KiB | 2022-Mar-12 10:39 |
| lean-3.38.0.ebuild | 1.7 KiB | 2022-Feb-22 18:39 |
| lean-3.42.1.ebuild | 1.7 KiB | 2022-Mar-27 02:10 |
| lean-3.40.0.ebuild | 1.7 KiB | 2022-Feb-22 18:39 |
| lean-3.42.0.ebuild | 1.7 KiB | 2022-Mar-18 20:10 |
| lean-3.39.1.ebuild | 1.7 KiB | 2022-Mar-26 20:10 |
| lean-4.2.0_rc4.ebuild | 1.3 KiB | 2023-Oct-26 13:40 |
| lean-4.2.0.ebuild | 1.3 KiB | 2024-Jan-18 17:40 |
| metadata.xml | 606 B | 2022-Feb-22 18:39 |
This mirror is maintained by i3D.net.