menhir version history (formula)
menhir
formula 52 versions
since May 2014
~54 days between updates
Track menhir — subscribe to the RSS feed to get an item each time it updates.
| Version | Updated | Commit |
|---|---|---|
| 20260209 | 2026-02-09 | fa0c7d6a9 |
| 20260203 | 2026-02-03 | 3504f1299 |
| 20260122 | 2026-01-22 | a8e7bfd3f |
| 20260112 | 2026-01-12 | 585cee516 |
| 20250912 | 2025-09-12 | 2d0cbc462 |
| 20250903 | 2025-09-03 | 7965becee |
| 20240715 | 2025-02-06 | 26baa9bc9 |
| 20240715 | 2024-07-18 | 369408454 |
| 20231231 | 2024-05-26 | b72579137 |
| 20231231 | 2024-01-02 | 555dc1cd6 |
| 20230608 | 2023-06-08 | ce05c03e5 |
| 20230428 | 2023-04-28 | e9e87419b |
| 20230415 | 2023-04-15 | 1e3a6dac8 |
| 20220210 | 2021-12-07 | c30947f5d |
| 20210929 | 2021-09-30 | 983d962d0 |
| 20210419 | 2021-04-19 | 00ec3a39a |
| 20210310 | 2021-03-10 | 6dd433bc6 |
| 20201216 | 2020-12-18 | a57acb10d |
| 20201201 | 2020-12-01 | b2e201bbf |
| 20201122 | 2020-11-22 | d253e1726 |
| 20200624 | 2020-06-25 | c0234c6d2 |
| 20200619 | 2020-06-20 | d7a80fe7a |
| 20200612 | 2020-06-13 | efe1c120c |
| 20200525 | 2020-05-31 | 84f0facdd |
| 20190924 | 2020-03-08 | 30b08d15f |
| 20200211 | 2020-02-14 | 1d761e464 |
| 20190924 | 2019-11-26 | bf9ea9567 |
| 20190626 | 2019-09-20 | 205fcbf9e |
| 20190626 | 2019-07-27 | aa7cee501 |
| 20180905 | 2019-03-22 | 4d9f7136f |
| 20180905 | 2018-09-17 | 0b5d150c0 |
| 20180703 | 2018-07-07 | 9840e6e22 |
| 20180530 | 2018-05-31 | 725af39ea |
| 20180528 | 2018-05-29 | 15106dad8 |
| 20171222 | 2017-12-23 | 1bfd4c005 |
| 20171206 | 2017-12-07 | 8c4d67792 |
| 20171013 | 2017-11-04 | 694badadb |
| 20171013 | 2017-10-15 | a49f61d35 |
| 20170712 | 2017-07-24 | bd499b8a2 |
| 20170607 | 2017-07-16 | 2110b3c3a |
| 20170607 | 2017-06-24 | 74b1e618c |
| 20170607 | 2017-06-11 | 8b602a604 |
| 20170509 | 2017-05-11 | b893df78d |
| 20170418 | 2017-04-19 | c017e1e34 |
| 20170101 | 2017-03-21 | 9b91b5803 |
| 20161115 | 2016-12-29 | 5d2bab69a |
| 20160526 | 2016-12-29 | a0b26b5f5 |
| 20160526 | 2016-07-20 | d0abea558 |
| 20160504 | 2016-05-14 | da7676e0d |
| 20151112 | 2016-02-24 | d542ec5a5 |
| 20141215 | 2015-01-14 | 3d1dcb7ab |
| 20140422 | 2014-05-26 | a19f0199c |