Rui Chen
10 commits · 8 version changes
2022-09-27 – 2026-04-03cryptominisat version history (formula)
All packages / formula
cryptominisat
formulaformula timeline from Homebrew git history.
Track cryptominisat with the RSS feed.
- Current
- 5.17.0
- Versions
- 34
- Since
- Jan 2019
- Cadence
- 45d
- Bottles
- 5 platforms
Update cadence
Jan 2019 to Oct 2026
Bottle availability
17 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-03-20 | present | 7b5496794 | — |
| Linux (x86_64) | 2021-07-13 | present | a637ca33d | — |
| macOS Golden Gate 27 (arm64) | 2026-09-10 | present | 95d6eedfe | — |
| macOS Tahoe 26 (arm64) | 2025-09-11 | present | 340d01f31 | — |
| macOS Sequoia 15 (arm64) | 2024-09-11 | present | 803c0b848 | — |
| macOS Sonoma 14 (arm64) | 2023-09-21 | 2026-09-16 | 5345a53a1 | 62f378f52 |
| macOS Sonoma 14 (x86_64) | 2023-09-21 | 2026-09-16 | 5345a53a1 | 62f378f52 |
| macOS Ventura 13 (arm64) | 2022-11-04 | 2025-10-25 | 3e91f91b9 | 7d774fa1c |
| macOS Ventura 13 (x86_64) | 2022-11-25 | 2025-10-25 | fbead4615 | 7d774fa1c |
| macOS Monterey 12 (arm64) | 2021-10-28 | 2024-10-13 | 20726cecd | 1669a24d2 |
| macOS Monterey 12 (x86_64) | 2021-10-28 | 2024-10-13 | 20726cecd | 1669a24d2 |
| macOS Big Sur 11 (arm64) | 2021-02-22 | 2023-10-10 | f7016c433 | 432ae83da |
| macOS Big Sur 11 (x86_64) | 2020-12-14 | 2023-10-10 | 2b067a107 | 432ae83da |
| macOS Catalina 10.15 (x86_64) | 2019-10-18 | 2022-12-26 | 94d7808f7 | a94be856c |
| macOS Mojave 10.14 (x86_64) | 2019-01-10 | 2022-02-19 | 0f51b9e7f | 2e80af95d |
| macOS High Sierra 10.13 (x86_64) | 2019-01-10 | 2020-12-14 | 0f51b9e7f | 2b067a107 |
| macOS Sierra 10.12 (x86_64) | 2019-01-10 | 2020-04-09 | 0f51b9e7f | a7909f13e |
Contributors
28 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Carlo Cabrera
8 commits · 3 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-23 – 2023-09-22Ruoyu Zhong
4 commits · 0 version changes
2023-09-21 – 2026-09-10Michka Popoff
4 commits · 3 version changes
2022-02-19 – 2024-01-24Sean Molenaar
3 commits · 2 version changes
2022-07-03 – 2023-10-22Branch Vincent
3 commits · 0 version changes
2023-07-16 – 2023-10-10Patrick Linnane
2 commits · 1 version change
2023-08-11 – 2026-09-05Daeho 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-15Show 16 more
Michael Cho
2 commits · 0 version changes
2022-06-04 – 2023-01-09Rylan Polster
2 commits · 0 version changes
2021-02-04 – 2021-02-19rui
2 commits · 1 version change
2020-07-19 – 2020-12-14Bo Anderson
2 commits · 1 version change
2020-04-09 – 2020-04-09botantony
1 commit · 1 version change
2026-10-14 – 2026-10-14Branch 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-25ryenus
1 commit · 0 version changes
2022-12-26 – 2022-12-26danielnachun
1 commit · 1 version change
2022-10-02 – 2022-10-02Miles 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-23 – 2020-10-23Nanda 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-10 – 2019-01-10Automation
BrewTestBot
41 commits · 8 version changes
2019-01-10 – 2026-10-14Version timeline
34 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 5.17.0 | 2026-10-14 | 2b080ab5d | cryptominisat: revision bump (`python@3.15` migration) |
| 5.17.0 | 2026-10-10 | f960ab525 | cryptominisat 5.17.0 |
| 5.16.0 | 2026-09-22 | 2014cb992 | cryptominisat 5.16.0 |
| 5.15.0 | 2026-09-16 | 62f378f52 | cryptominisat 5.15.0 |
| 5.14.7 | 2026-06-27 | cdb93bdd8 | cryptominisat 5.14.7 |
| 5.14.6 | 2026-06-13 | 149f589c8 | cryptominisat 5.14.6 |
| 5.14.5 | 2026-05-24 | d5e76c261 | cryptominisat 5.14.5 |
| 5.14.4 | 2026-04-05 | e2fdbbe9a | cryptominisat 5.14.4 |
| 5.14.3 | 2026-04-04 | bc181ae46 | cryptominisat 5.14.3 |
| 5.14.2 | 2026-04-04 | 4168b548e | cryptominisat 5.14.2 |
| 5.13.0 | 2026-02-14 | b22d06a22 | cryptominisat: use `zlib-ng-compat` on Linux |
| 5.13.0 | 2026-01-24 | ec40da323 | cryptominisat 5.13.0 |
| 5.12.1 | 2025-03-23 | da7f91280 | cryptominisat 5.12.1 |
| 5.11.21 | 2024-02-10 | dab358d9c | cryptominisat 5.11.21 |
| 5.11.15 | 2024-01-25 | f216a65c8 | cryptominisat: revision bump for boost 1.84 |
| 5.11.15 | 2023-10-22 | 9229d653a | cryptominisat: revision bump for boost 1.83 |
| 5.11.15 | 2023-10-12 | 7942f94f2 | cryptominisat 5.11.15 |
| 5.11.14 | 2023-09-22 | 655d82c43 | cryptominisat 5.11.14 |
| 5.11.12 | 2023-08-12 | 355856e9b | cryptominisat 5.11.12 |
| 5.11.11 | 2023-06-27 | 46c7e5994 | cryptominisat 5.11.11 |
| 5.11.4 | 2023-06-13 | 65ca4d4a6 | cryptominisat: revision bump for boost 1.82 |
| 5.11.4 | 2023-01-09 | 0c63db3bf | cryptominisat: revision bump (boost 1.81.0) |
| 5.11.4 | 2022-10-04 | 1913da285 | cryptominisat 5.11.4 |
| 5.11.2 | 2022-10-02 | bf471ddf3 | cryptominisat: revision bump (boost 1.80.0) |
| 5.11.2 | 2022-09-27 | 64f54d181 | cryptominisat 5.11.2 |
| 5.8.0 | 2022-07-03 | 2eab9ac35 | cryptominisat: revision bump (boost 1.79.0) |
| 5.8.0 | 2022-07-01 | ce7c85b36 | cryptominisat: migrate to Python@3.10 |
| 5.8.0 | 2022-02-19 | 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-23 | 2acf05c1c | cryptominisat: migrate to python@3.9 |
| 5.6.8 | 2020-04-09 | 3e3668a93 | cryptominisat: migrate to python@3.8 |
| 5.6.8 | 2019-02-26 | 0d3d02d4f | cryptominisat 5.6.8 |
| 5.6.6 | 2019-01-10 | 42bb3c480 | cryptominisat 5.6.6 (new formula) |