File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
files/ | - | 2024-Sep-20 21:41 |
Manifest | 2.7 KiB | 2024-Sep-19 22:11 |
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.11.0.ebuild | 1.4 KiB | 2024-Sep-19 22:11 |
lean-4.2.0_rc4.ebuild | 1.3 KiB | 2023-Oct-26 13:40 |
lean-4.2.0.ebuild | 1.3 KiB | 2024-Sep-19 22:11 |
metadata.xml | 606 B | 2022-Feb-22 18:39 |