pkgstory

checked rss

lean-cli version history (formula)

All packages / formula

lean-cli

formula

formula timeline from Homebrew git history.

Track lean-cli with the RSS feed.

Current
1.2.4
Versions
70
Since
Aug 2016
Cadence
17d

Update cadence

Aug 2016 to May 2023

Contributors

24 people · 1 automated

Authors and co-authors of formula file changes in Homebrew history, not the upstream project.

Ang Long

24 commits · 23 version changes

2016-08-23 – 2017-08-22

Rui Chen

19 commits · 15 version changes

2020-12-29 – 2025-10-10

ilovezfs

17 commits · 16 version changes

2016-11-28 – 2018-05-02

Francois-Xavier Coudert

5 commits · 0 version changes

2020-11-21 – 2023-09-30

Ruoyu Zhong

4 commits · 2 version changes

2023-03-20 – 2024-09-14

jysperm

3 commits · 2 version changes

2018-09-12 – 2022-04-19

Carlo Cabrera

3 commits · 0 version changes

2021-10-27 – 2021-11-03

Igor Kapkov

3 commits · 3 version changes

2018-11-03 – 2019-03-02

Caleb Xu

2 commits · 1 version change

2020-08-07 – 2021-12-02

rui

2 commits · 2 version changes

2020-06-24 – 2020-12-28

botantony

1 commit · 0 version changes

2026-07-26 – 2026-07-26
Show 12 more

Alexander Bayandin

1 commit · 0 version changes

2024-06-30 – 2024-06-30

Mike McQuaid

1 commit · 0 version changes

2023-08-15 – 2023-08-15

Sean Molenaar

1 commit · 1 version change

2022-10-20 – 2022-10-20

Michael Cho

1 commit · 0 version changes

2022-09-24 – 2022-09-24

Bo Anderson

1 commit · 0 version changes

2022-03-18 – 2022-03-18

Michael Cho

1 commit · 0 version changes

2021-07-15 – 2021-07-15

Nanda H Krishna

1 commit · 1 version change

2021-05-11 – 2021-05-11

Rylan Polster

1 commit · 0 version changes

2021-02-03 – 2021-02-03

mprince

1 commit · 1 version change

2020-11-30 – 2020-11-30

rui

1 commit · 1 version change

2020-10-15 – 2020-10-15

William Ma

1 commit · 0 version changes

2020-07-02 – 2020-07-02

Rui Chen

1 commit · 1 version change

2019-07-25 – 2019-07-25
Automation

BrewTestBot

77 commits · 3 version changes

2016-08-25 – 2023-05-15

Version timeline

70 version-changing commits

VersionUpdatedCommitSubject
1.2.42023-05-15d99d8b51clean-cli 1.2.4
1.2.32023-03-2438cab913alean-cli 1.2.3
1.2.22023-03-247c83397f8lean-cli 1.2.2
1.2.12023-03-2330b8e743flean-cli 1.2.1
1.2.02023-03-203b6bb38c9lean-cli 1.2.0
1.1.02022-10-20b293adbbelean-cli 1.1.0
1.0.22022-07-23841e5655flean-cli 1.0.2
1.0.12022-06-28611d4e94elean-cli 1.0.1
1.0.02022-04-193f2d9ac0elean-cli: fix tests for 1.0.0
0.29.22022-01-285187f2d05lean-cli 0.29.2
0.29.12021-11-281925e84bblean-cli 0.29.1
0.29.02021-11-20d35c9e689lean-cli 0.29.0
0.28.22021-11-036fcae9565lean-cli 0.28.2
0.28.12021-11-0129f0a4c73lean-cli 0.28.1
0.28.02021-10-210d1038adalean-cli 0.28.0
0.27.02021-10-082dd253fbalean-cli 0.27.0
0.26.02021-09-245b0519189lean-cli 0.26.0
0.25.12021-09-0770b7d0342lean-cli 0.25.1
0.25.02021-06-10c4d2fe27elean-cli 0.25.0
0.24.42021-05-11a43adfe7clean-cli 0.24.4
0.24.32021-04-1544e43f6e6lean-cli 0.24.3
0.24.22020-12-28f1540e594lean-cli 0.24.2
0.24.12020-11-30139f06199lean-cli 0.24.1
0.24.02020-10-15c1a64748dlean-cli 0.24.0
0.23.02020-08-07bc2d773d3lean-cli 0.23.0
0.22.02020-06-24b1e55986alean-cli 0.22.0
0.21.02019-07-25207c41ff6lean-cli 0.21.0
0.20.12019-03-02691d6566clean-cli 0.20.1
0.20.02018-11-29f1de175d7lean-cli 0.20.0
0.19.12018-11-03227c36dbalean-cli 0.19.1
0.19.02018-09-12406ea8efblean-cli 0.19.0
0.18.32018-05-028f661bdf9lean-cli 0.18.3
0.18.22018-03-226ce72a258lean-cli 0.18.2
0.18.12018-03-02b9b3f7479lean-cli 0.18.1
0.18.02018-02-279f27bb150lean-cli 0.18.0
0.17.12017-11-064a702802flean-cli 0.17.1
0.16.22017-10-12eb07bc118lean-cli 0.16.2
0.16.12017-09-28c809329c1lean-cli 0.16.1
0.16.02017-09-283b7dc95e4lean-cli 0.16.0
0.15.02017-09-21b5372c56elean-cli 0.15.0
0.14.12017-09-01ed8968021lean-cli 0.14.1
0.14.02017-08-31ac8eda4felean-cli 0.14.0
0.13.22017-08-244801f2b8alean-cli 0.13.2
0.13.12017-08-22cceece8eblean-cli 0.13.1
0.13.02017-08-18a154af9a6lean-cli 0.13.0
0.12.12017-08-01629986bf7lean-cli 0.12.1
0.12.02017-07-28117193a7clean-cli 0.12.0
0.11.02017-07-21d7684de1clean-cli 0.11.0
0.10.02017-07-14090190e16lean-cli 0.10.0
0.9.02017-07-11d9b9dc265lean-cli 0.9.0
0.8.02017-07-1046ea8628dlean-cli 0.8.0
0.7.52017-04-172fb785d3blean-cli 0.7.5
0.7.42017-04-14cef622042lean-cli 0.7.4
0.7.32017-04-13340968c9alean-cli 0.7.3
0.7.22017-04-05c1a41611clean-cli 0.7.2
0.7.12017-03-272ee7af700lean-cli 0.7.1
0.7.02017-03-2160e5603fdlean-cli 0.7.0
0.6.22017-02-13f1d0a6bcblean-cli 0.6.2
0.6.12017-02-07d572d6833lean-cli 0.6.1
0.6.02017-01-2235e597b9alean-cli 0.6.0
0.5.52017-01-02c66270756lean-cli 0.5.5
0.5.42016-12-04d3eed7636lean-cli 0.5.4
0.5.32016-11-3075e553cdblean-cli 0.5.3
0.5.22016-11-28fa7962372lean-cli 0.5.2
0.5.12016-11-2371808d2d0lean-cli 0.5.1
0.5.02016-11-21d41b9288alean-cli 0.5.0
0.4.12016-11-03280e028a9lean-cli 0.4.1
0.3.02016-09-27714c702a5lean-cli 0.3.0
0.2.12016-09-08d0a2c8a26lean-cli 0.2.1
0.2.02016-08-23475714809lean-cli 0.2.0 (new formula)