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
Bottles
13 platforms

Update cadence

Aug 2016 to May 2023

Bottle availability

20 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-10-10present6756c9163—
Linux (x86_64)2021-07-15present88e1f9a6c—
macOS Golden Gate 27 (arm64)2026-09-13presentc368978f2—
macOS Tahoe 26 (arm64)2025-09-15present97a6220bb—
macOS Sequoia 15 (arm64)2024-09-14present25c84ed30—
macOS Sonoma 14 (arm64)2023-09-30presenta771af505—
macOS Sonoma 14 (x86_64)2023-09-30presenta771af505—
macOS Ventura 13 (arm64)2022-11-07presentcbb80c1dd—
macOS Ventura 13 (x86_64)2022-11-22presentb83887e2b—
macOS Monterey 12 (arm64)2021-10-27present80956ff44—
macOS Monterey 12 (x86_64)2021-10-27present80956ff44—
macOS Big Sur 11 (arm64)2020-12-25presentb573f208c—
macOS Big Sur 11 (x86_64)2020-11-21present101335d90—
macOS Catalina 10.15 (x86_64)2019-10-182023-03-200aea1eaf8059da3aaa
macOS Mojave 10.14 (x86_64)2018-08-242021-10-21079fd711c4eaec4244
macOS High Sierra 10.13 (x86_64)2017-09-232020-11-30fba6c2873531e184de
macOS Sierra 10.12 (x86_64)2016-09-082020-06-25fdfe2445d527185e6f
OS X El Capitan 10.11 (x86_64)2016-08-262018-11-032eb09a99e79746bf6c
OS X Yosemite 10.10 (x86_64)2016-08-262017-09-212eb09a99ea0dce1e84
OS X Mavericks 10.9 (x86_64)2016-08-262016-09-272eb09a99e33b84b48f

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-26 – 2017-08-22

Rui Chen

20 commits · 15 version changes

2020-12-29 – 2026-09-21

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-03

Michael Cho

2 commits · 0 version changes

2021-07-15 – 2026-09-13

Caleb Xu

2 commits · 1 version change

2020-08-08 – 2021-12-08

rui

2 commits · 2 version changes

2020-06-25 – 2020-12-29

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

Nanda H Krishna

1 commit · 1 version change

2021-05-12 – 2021-05-12

Rylan Polster

1 commit · 0 version changes

2021-02-04 – 2021-02-04

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-06 – 2020-07-06

Rui Chen

1 commit · 1 version change

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

BrewTestBot

77 commits · 3 version changes

2016-08-26 – 2023-05-15

Version timeline

70 version-changing commits

VersionUpdatedCommitSubject
1.2.42023-05-15d1c30de33lean-cli 1.2.4
1.2.32023-03-245aa4b70e0lean-cli 1.2.3
1.2.22023-03-24510ac99d6lean-cli 1.2.2
1.2.12023-03-2341b05cd5flean-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-0229f0a4c73lean-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-255b0519189lean-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-12a43adfe7clean-cli 0.24.4
0.24.32021-04-1544e43f6e6lean-cli 0.24.3
0.24.22020-12-29f1540e594lean-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-08bc2d773d3lean-cli 0.23.0
0.22.02020-06-25b1e55986alean-cli 0.22.0
0.21.02019-07-25207c41ff6lean-cli 0.21.0
0.20.12019-03-03691d6566clean-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-29c809329c1lean-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-15090190e16lean-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-14f1d0a6bcblean-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-06280e028a9lean-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-26475714809lean-cli 0.2.0 (new formula)