lean version history (formula)
lean
formula removed 26 versions
since Aug 2017
~28 days between updates
| Version | Updated | Commit |
|---|---|---|
| 3.51.1 | 2023-05-25 | ac9599971 |
| 3.50.3 | 2022-12-29 | 624027a64 |
| 3.50.2 | 2022-12-24 | fcc7e17b8 |
| 3.50.1 | 2022-12-23 | 7b94358d1 |
| 3.49.1 | 2022-11-21 | 9eee14ac7 |
| 3.49.0 | 2022-11-11 | 7bd50e34a |
| 3.48.0 | 2022-09-01 | 1d5645b49 |
| 3.46.0 | 2022-08-08 | aff233dba |
| 3.45.0 | 2022-07-13 | 5fd0db19f |
| 3.44.1 | 2022-06-24 | bd0025932 |
| 3.42.1 | 2022-04-05 | 44d96134e |
| 3.42.0 | 2022-03-24 | c95116cb2 |
| 3.41.0 | 2022-03-13 | b25987d23 |
| 3.39.1 | 2022-02-15 | c2b2a1546 |
| 3.39.0 | 2022-02-03 | cedbd25f6 |
| 3.38.0 | 2022-01-13 | 5ea19b29e |
| 3.35.1 | 2021-11-16 | 558e35e1d |
| 3.30.0 | 2021-05-15 | 740a395e0 |
| 3.29.0 | 2021-04-25 | 662ff529f |
| 3.27.0 | 2021-02-28 | 02d22aa2a |
| 3.23.0 | 2020-10-24 | 9e46d51f5 |
| 3.18.4 | 2020-08-13 | 742b01dcd |
| 3.4.2 | 2019-01-18 | f2f8055eb |
| 3.4.1 | 2018-05-03 | 3c5a55177 |
| 3.3.0 | 2017-09-22 | 353258f4e |
| 3.2.0 | 2017-08-25 | 12a957612 |