Rui Chen
2 commits · 1 version change
2025-03-03 – 2025-07-28yices2 version history (formula)
All packages / formula
Feb 2025 to Jul 2025
6 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
2 commits · 1 version change
2025-03-03 – 2025-07-281 commit · 0 version changes
2026-06-24 – 2026-06-241 commit · 0 version changes
2025-09-11 – 2025-09-111 commit · 0 version changes
2025-03-20 – 2025-03-201 commit · 0 version changes
2025-02-11 – 2025-02-111 commit · 1 version change
2025-02-11 – 2025-02-111 commit · 0 version changes
2025-07-28 – 2025-07-282 version-changing commits