Michael Cho
5 commits · 5 version changes
2025-03-25 – 2026-05-21hierarchy-builder version history (formula)
All packages / formula
formula timeline from Homebrew git history.
Track hierarchy-builder with the RSS feed.
Mar 2025 to Jul 2026
6 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
5 commits · 5 version changes
2025-03-25 – 2026-05-212 commits · 2 version changes
2026-06-23 – 2026-07-252 commits · 1 version change
2026-03-16 – 2026-06-132 commits · 2 version changes
2025-09-19 – 2026-02-091 commit · 0 version changes
2025-09-11 – 2025-09-111 commit · 0 version changes
2025-08-23 – 2025-08-2315 commits · 4 version changes
2025-09-04 – 2026-07-2513 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 1.10.3 | 2026-07-25 | 058da0b70 | hierarchy-builder: revision bump (rocq-elpi 3.5.0) |
| 1.10.3 | 2026-06-24 | 2c67a4522 | hierarchy-builder 1.10.3 |
| 1.10.3 | 2026-06-23 | 118d53f43 | hierarchy-builder: revision bump (ocaml 5.5.0) |
| 1.10.2 | 2026-05-21 | cf5f64928 | hierarchy-builder: revision bump (rocq-elpi 3.4.0) |
| 1.10.2 | 2026-03-21 | 5e5a5607b | hierarchy-builder: revision bump (ocaml 5.4.1) |
| 1.10.2 | 2026-03-16 | 2e74f4de0 | hierarchy-builder: revision bump (rocq-elpi 3.3.1) |
| 1.10.2 | 2026-02-09 | 53204d8fd | hierarchy-builder: revision bump (rocq 9.1.1) |
| 1.10.2 | 2026-01-28 | 375d27df5 | hierarchy-builder 1.10.2 |
| 1.10.1 | 2025-10-05 | 03d51255b | hierarchy-builder: revision bump (rocq 9.1.0) |
| 1.10.1 | 2025-09-19 | c3a257de5 | hierarchy-builder: revision bump (rocq-elpi 3.2.0) |
| 1.10.1 | 2025-09-08 | 31f2f7785 | hierarchy-builder 1.10.1 |
| 1.10.0 | 2025-09-04 | 953525c40 | hierarchy-builder: revision bump (ocaml 5.3.0) |
| 1.10.0 | 2025-03-25 | 45aecea8a | hierarchy-builder 1.10.0 (new formula) |