Rui Chen
10 commits · 8 version changes
2022-09-26 – 2026-04-03cryptominisat version history (formula)
All packages / formula
cryptominisat
formulaformula timeline from Homebrew git history.
Track cryptominisat with the RSS feed.
- Current
- 5.14.7
- Versions
- 30
- Since
- Jan 2019
- Cadence
- 49d
Update cadence
Jan 2019 to Jun 2026
Contributors
27 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
8 commits · 4 version changes
2021-04-25 – 2025-03-20Michael Cho
7 commits · 4 version changes
2024-02-26 – 2026-04-03Francois-Xavier Coudert
5 commits · 1 version change
2020-10-09 – 2023-09-22Michka Popoff
4 commits · 3 version changes
2021-12-21 – 2024-01-06Ruoyu Zhong
3 commits · 2 version changes
2023-09-21 – 2024-09-11Branch Vincent
3 commits · 0 version changes
2023-07-16 – 2023-10-10Sean Molenaar
3 commits · 2 version changes
2022-07-03 – 2023-09-14Daeho Ro
2 commits · 0 version changes
2025-10-17 – 2026-05-04Michael Cho
2 commits · 0 version changes
2021-07-13 – 2025-09-11Mike McQuaid
2 commits · 0 version changes
2020-07-27 – 2023-08-15Michael Cho
2 commits · 0 version changes
2022-06-03 – 2023-01-09Show 15 more
Rylan Polster
2 commits · 0 version changes
2021-02-03 – 2021-02-18rui
2 commits · 1 version change
2020-07-19 – 2020-12-14Bo Anderson
2 commits · 1 version change
2020-04-08 – 2020-04-09Branch Vincent
1 commit · 0 version changes
2025-10-25 – 2025-10-25Issy Long
1 commit · 0 version changes
2024-11-07 – 2024-11-07Michka Popoff
1 commit · 0 version changes
2024-01-25 – 2024-01-25Patrick Linnane
1 commit · 1 version change
2023-08-11 – 2023-08-11ryenus
1 commit · 0 version changes
2022-12-26 – 2022-12-26danielnachun
1 commit · 1 version change
2022-09-16 – 2022-09-16Miles Liu
1 commit · 0 version changes
2022-09-12 – 2022-09-12Dustin Rodrigues
1 commit · 1 version change
2021-02-22 – 2021-02-22Jonathan Chang
1 commit · 0 version changes
2020-10-22 – 2020-10-22Nanda H Krishna
1 commit · 0 version changes
2020-08-28 – 2020-08-28Caleb Xu
1 commit · 1 version change
2019-02-26 – 2019-02-26Andres Noetzli
1 commit · 1 version change
2019-01-08 – 2019-01-08Automation
BrewTestBot
34 commits · 5 version changes
2019-01-08 – 2026-06-27Version timeline
30 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 5.14.7 | 2026-06-27 | fe8a4c83b | cryptominisat 5.14.7 |
| 5.14.6 | 2026-06-13 | 834f584a5 | cryptominisat 5.14.6 |
| 5.14.5 | 2026-05-24 | 187c9ac41 | cryptominisat 5.14.5 |
| 5.14.4 | 2026-04-04 | e522d5411 | cryptominisat 5.14.4 |
| 5.14.3 | 2026-04-04 | b6673fd8c | cryptominisat 5.14.3 |
| 5.14.2 | 2026-04-03 | aab0fe2ad | cryptominisat 5.14.2 |
| 5.13.0 | 2026-02-13 | c156a119d | cryptominisat: use `zlib-ng-compat` on Linux |
| 5.13.0 | 2026-01-24 | d762c9ae1 | cryptominisat 5.13.0 |
| 5.12.1 | 2025-03-23 | 4caf5a66e | cryptominisat 5.12.1 |
| 5.11.21 | 2024-02-10 | 08651aa71 | cryptominisat 5.11.21 |
| 5.11.15 | 2024-01-06 | 3a82a4710 | cryptominisat: revision bump for boost 1.84 |
| 5.11.15 | 2023-10-11 | 1444c1b25 | cryptominisat 5.11.15 |
| 5.11.14 | 2023-09-22 | f829dca78 | cryptominisat 5.11.14 |
| 5.11.15 | 2023-09-14 | 043e9274e | cryptominisat: revision bump for boost 1.83 |
| 5.11.12 | 2023-08-11 | 9b7f1c527 | cryptominisat 5.11.12 |
| 5.11.11 | 2023-06-25 | 353fd6c11 | cryptominisat 5.11.11 |
| 5.11.4 | 2023-04-17 | 58b3d3c38 | cryptominisat: revision bump for boost 1.82 |
| 5.11.4 | 2023-01-01 | 0c63db3bf | cryptominisat: revision bump (boost 1.81.0) |
| 5.11.4 | 2022-10-04 | 1913da285 | cryptominisat 5.11.4 |
| 5.11.2 | 2022-09-26 | 64f54d181 | cryptominisat 5.11.2 |
| 5.11.2 | 2022-09-16 | bf471ddf3 | cryptominisat: revision bump (boost 1.80.0) |
| 5.8.0 | 2022-07-02 | 2eab9ac35 | cryptominisat: revision bump (boost 1.79.0) |
| 5.8.0 | 2022-06-24 | ce7c85b36 | cryptominisat: migrate to Python@3.10 |
| 5.8.0 | 2021-12-21 | 555fa7237 | cryptominisat: revision bump (boost 1.78.0) |
| 5.8.0 | 2021-02-22 | 13e5cc0cc | cryptominisat: fix rpath |
| 5.8.0 | 2020-12-14 | a2d4ed596 | cryptominisat 5.8.0 |
| 5.6.8 | 2020-10-09 | 2acf05c1c | cryptominisat: migrate to python@3.9 |
| 5.6.8 | 2020-04-08 | 3e3668a93 | cryptominisat: migrate to python@3.8 |
| 5.6.8 | 2019-02-26 | 0d3d02d4f | cryptominisat 5.6.8 |
| 5.6.6 | 2019-01-08 | 42bb3c480 | cryptominisat 5.6.6 (new formula) |