| File Name ↓ | File Size ↓ | Date ↓ | |
|---|---|---|---|
| Parent directory/ | - | - | |
| lean-3.32.1.tar.gz | 1873303 | 2021-Aug-16 13:38 | |
| lean-3.33.0.tar.gz | 1890687 | 2021-Sep-29 08:38 | |
| lean-3.35.1.tar.gz | 1872621 | 2021-Nov-14 04:33 | |
| lean-3.38.0.tar.gz | 1877471 | 2022-Jan-25 23:35 | |
| lean-3.39.1.tar.gz | 1878652 | 2022-Feb-15 23:19 | |
| lean-3.42.0.tar.gz | 1908320 | 2022-Mar-20 22:04 | |
| lean-3.42.1.tar.gz | 1908637 | 2022-Apr-04 23:41 | |
| lean-3.43.0.tar.gz | 1909352 | 2022-May-29 16:14 | |
| lean-3.44.1.tar.gz | 1911770 | 2022-Jul-02 23:32 | |
| lean-3.45.0.tar.gz | 1913685 | 2022-Jul-30 21:46 | |
| lean-3.46.0.tar.gz | 1913900 | 2022-Aug-09 23:46 | |
| lean-3.47.0.tar.gz | 1918213 | 2022-Aug-29 12:03 | |
| lean-3.48.0.tar.gz | 1918262 | 2022-Sep-07 13:04 | |
| lean-3.49.1.tar.gz | 1918411 | 2022-Nov-24 21:59 | |
| lean-3.50.0.tar.gz | 1918642 | 2022-Dec-20 10:32 | |
| lean-3.50.2.tar.gz | 1918644 | 2022-Dec-26 20:36 | |
| lean-3.50.3.tar.gz | 1918719 | 2023-Jan-13 15:31 | |
| lean-3.51.1.tar.gz | 1918894 | 2024-Sep-06 07:04 | |