pkgstory

checked rss

menhir version history (formula)

All packages / formula

menhir

formula

formula timeline from Homebrew git history.

Track menhir with the RSS feed.

Current
20260209_2
Versions
54
Since
May 2014
Cadence
43d
Bottles
5 platforms

Update cadence

May 2014 to Sep 2026

Bottle availability

21 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-03-21presentd1e55b5b3—
Linux (x86_64)2021-07-17presentbd15f9eef—
macOS Golden Gate 27 (arm64)2026-09-11presentcafb753de—
macOS Tahoe 26 (arm64)2025-09-15presenta6b534ee9—
macOS Sequoia 15 (arm64)2024-09-14present461b8812d—
macOS Sonoma 14 (arm64)2023-09-292026-09-196e07f3bca23df418cb
macOS Sonoma 14 (x86_64)2023-09-292026-09-196e07f3bca23df418cb
macOS Ventura 13 (arm64)2022-11-092025-09-121784a747a8b89ac1ef
macOS Ventura 13 (x86_64)2022-11-212025-09-121b15298f28b89ac1ef
macOS Monterey 12 (arm64)2021-11-082025-08-21303ccde19967b28234
macOS Monterey 12 (x86_64)2021-11-082025-08-21303ccde19967b28234
macOS Big Sur 11 (arm64)2021-02-212024-01-0236253d88a2bfad1391
macOS Big Sur 11 (x86_64)2020-11-172024-01-02df9a6a5212bfad1391
macOS Catalina 10.15 (x86_64)2019-10-182023-04-155302947078ec59cf3f
macOS Mojave 10.14 (x86_64)2018-08-242022-03-033098377e831d12e95a
macOS High Sierra 10.13 (x86_64)2017-09-182020-11-22c6a4fcefcdc5a5725a
macOS Sierra 10.12 (x86_64)2016-09-302019-11-2678d092f15ca6875714
OS X El Capitan 10.11 (x86_64)2016-02-252019-03-22c004260e00da8fa8b1
OS X Yosemite 10.10 (x86_64)2015-01-142017-10-15eeaaad2108c8b71460
OS X Mavericks 10.9 (x86_64)2015-01-142016-12-29eeaaad21060fdca97e
OS X Mountain Lion 10.8 (x86_64)2015-01-142016-02-25eeaaad210c004260e0

Contributors

29 people · 1 automated

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

ilovezfs

21 commits · 19 version changes

2016-02-25 – 2018-07-07

Francois-Xavier Coudert

6 commits · 1 version change

2018-09-17 – 2025-09-15

Rui Chen

6 commits · 3 version changes

2021-04-19 – 2025-03-21

Caleb Xu

5 commits · 5 version changes

2019-07-27 – 2020-06-26

Patrick Linnane

4 commits · 3 version changes

2023-04-15 – 2024-08-01

rui

4 commits · 3 version changes

2020-06-01 – 2020-12-18

Carlo Cabrera

3 commits · 1 version change

2021-02-21 – 2021-11-08

Daeho Ro

1 commit · 1 version change

2026-09-19 – 2026-09-19

Ruoyu Zhong

1 commit · 0 version changes

2026-09-11 – 2026-09-11

botantony

1 commit · 1 version change

2026-07-12 – 2026-07-12

Alexander Bayandin

1 commit · 1 version change

2025-08-20 – 2025-08-20

Nanda H Krishna

1 commit · 0 version changes

2025-02-18 – 2025-02-18
Show 17 more

Anton Kochkov

1 commit · 1 version change

2024-06-04 – 2024-06-04

Mikl Wolfe

1 commit · 1 version change

2024-01-02 – 2024-01-02

Mike McQuaid

1 commit · 0 version changes

2023-08-15 – 2023-08-15

Laine Taffin Altman

1 commit · 1 version change

2022-03-03 – 2022-03-03

Michael Cho

1 commit · 1 version change

2022-03-03 – 2022-03-03

Michael Cho

1 commit · 0 version changes

2021-07-17 – 2021-07-17

Rylan Polster

1 commit · 0 version changes

2021-02-04 – 2021-02-04

rui

1 commit · 1 version change

2020-11-22 – 2020-11-22

Jonathan Chang

1 commit · 0 version changes

2020-11-17 – 2020-11-17

Dustin Rodrigues

1 commit · 1 version change

2020-06-13 – 2020-06-13

Zach

1 commit · 1 version change

2020-03-13 – 2020-03-13

Bo Anderson

1 commit · 1 version change

2020-03-09 – 2020-03-09

Igor Kapkov

1 commit · 1 version change

2019-03-22 – 2019-03-22

Alex Wang

1 commit · 0 version changes

2015-09-04 – 2015-09-04

Nikolaus Wittenstein

1 commit · 0 version changes

2015-06-05 – 2015-06-05

Baptiste Fontaine

1 commit · 1 version change

2015-01-14 – 2015-01-14

Jack Nagel

1 commit · 1 version change

2014-05-26 – 2014-05-26
Automation

BrewTestBot

63 commits · 6 version changes

2015-01-14 – 2026-09-19

Version timeline

54 version-changing commits

VersionUpdatedCommitSubject
20260209_22026-09-1923df418cbmenhir: revision bump (ocaml 5.5.1)
20260209_12026-07-13f01f2cba1menhir: revision bump (ocaml 5.5.0)
202602092026-02-0980f034015menhir 20260209
202602032026-02-038cd2ac805menhir 20260203
202601222026-01-229c7dfb14amenhir 20260122
202601122026-01-129764584ddmenhir 20260112
202509122025-09-128b89ac1efmenhir 20250912
202509032025-09-037a2a7857bmenhir 20250903
20240715_12025-08-21967b28234menhir: revision bump for ocaml
202407152024-07-18c0f0c33aemenhir 20240715
20231231_12024-06-06ebed60d6dmenhir: patch and revision bump (ocaml-5.2.0)
202312312024-01-022bfad1391menhir 20231231
202306082023-06-083bccd409cmenhir 20230608
202304282023-04-2886fc6b61cmenhir 20230428
202304152023-04-158ec59cf3fmenhir 20230415
202202102022-03-03c30947f5dmenhir 20220210
202109292021-09-30983d962d0menhir 20210929
202104192021-04-1900ec3a39amenhir 20210419
202103102021-03-116dd433bc6menhir 20210310
202012162020-12-18a57acb10dmenhir 20201216
202012012020-12-01b2e201bbfmenhir 20201201
202011222020-11-22d253e1726menhir 20201122
202006242020-06-26c0234c6d2menhir 20200624
202006192020-06-20d7a80fe7amenhir 20200619
202006122020-06-13efe1c120cmenhir 20200612
202005252020-06-0184f0facddmenhir 20200525
202002112020-03-131d761e464menhir 20200211
20190924_12020-03-0930b08d15fmenhir: revision bump for ocaml
201909242019-11-26bf9ea9567menhir 20190924
20190626_12019-09-21205fcbf9emenhir: bump revision for compcert update
201906262019-07-27aa7cee501menhir 20190626
20180905_12019-03-224d9f7136fmenhir: revision bump for compcert
201809052018-09-170b5d150c0menhir 20180905
201807032018-07-079840e6e22menhir 20180703
201805302018-05-31725af39eamenhir 20180530
201805282018-05-2915106dad8menhir 20180528
201712222017-12-231bfd4c005menhir 20171222
201712062017-12-078c4d67792menhir 20171206
20171013_12017-11-04694badadbmenhir: revision for ocaml
201710132017-10-15a49f61d35menhir 20171013
201707122017-07-24bd499b8a2menhir 20170712
20170607_22017-07-162110b3c3amenhir: revision for ocaml
20170607_12017-06-2474b1e618cmenhir: revision for ocaml
201706072017-06-118b602a604menhir 20170607
201705092017-05-11b893df78dmenhir 20170509
201704182017-04-19c017e1e34menhir 20170418
201701012017-03-219b91b5803menhir 20170101
201611152016-12-295d2bab69amenhir 20161115
20160526_12016-12-29a0b26b5f5menhir: revision for ocaml
201605262016-07-20d0abea558menhir 20160526
201605042016-05-14da7676e0dmenhir 20160504
201511122016-02-25d542ec5a5menhir 20151112 and re-parallelize the build
201412152015-01-143d1dcb7abmenhir 20141215
201404222014-05-26a19f0199cmenhir 20140422