| Name | Size | Date |
|---|---|---|
| 📁 ../ | - | - |
| 📄 lean-3.32.1.tar.gz | 1873303 bytes | 2021-08-16 04:38:46 |
| 📄 lean-3.33.0.tar.gz | 1890687 bytes | 2021-09-28 23:38:27 |
| 📄 lean-3.35.1.tar.gz | 1872621 bytes | 2021-11-13 19:33:44 |
| 📄 lean-3.38.0.tar.gz | 1877471 bytes | 2022-01-25 14:35:09 |
| 📄 lean-3.39.1.tar.gz | 1878652 bytes | 2022-02-15 14:19:32 |
| 📄 lean-3.42.0.tar.gz | 1908320 bytes | 2022-03-20 13:04:52 |
| 📄 lean-3.42.1.tar.gz | 1908637 bytes | 2022-04-04 14:41:53 |
| 📄 lean-3.43.0.tar.gz | 1909352 bytes | 2022-05-29 07:14:45 |
| 📄 lean-3.44.1.tar.gz | 1911770 bytes | 2022-07-02 14:32:59 |
| 📄 lean-3.45.0.tar.gz | 1913685 bytes | 2022-07-30 12:46:36 |
| 📄 lean-3.46.0.tar.gz | 1913900 bytes | 2022-08-09 14:46:52 |
| 📄 lean-3.47.0.tar.gz | 1918213 bytes | 2022-08-29 03:03:17 |
| 📄 lean-3.48.0.tar.gz | 1918262 bytes | 2022-09-07 04:04:14 |
| 📄 lean-3.49.1.tar.gz | 1918411 bytes | 2022-11-24 12:59:33 |
| 📄 lean-3.50.0.tar.gz | 1918642 bytes | 2022-12-20 01:32:23 |
| 📄 lean-3.50.2.tar.gz | 1918644 bytes | 2022-12-26 11:36:00 |
| 📄 lean-3.50.3.tar.gz | 1918719 bytes | 2023-01-13 06:31:23 |
| 📄 lean-3.51.1.tar.gz | 1918894 bytes | 2024-09-05 22:04:37 |