Michael Cho
3 commits · 3 version changes
2025-03-24 – 2026-03-21rocq-elpi version history (formula)
All packages / formula
- Current
- 3.5.0
- Versions
- 10
- Since
- Mar 2025
- Cadence
- 31d
Update cadence
Mar 2025 to Jul 2026
Contributors
5 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Daeho Ro
1 commit · 1 version change
2026-06-23 – 2026-06-23Rui Chen
1 commit · 1 version change
2026-02-09 – 2026-02-09Ruoyu Zhong
1 commit · 0 version changes
2025-09-11 – 2025-09-11Francois-Xavier Coudert
1 commit · 0 version changes
2025-08-23 – 2025-08-23Automation
BrewTestBot
14 commits · 5 version changes
2025-09-01 – 2026-07-25Version timeline
10 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.5.0 | 2026-07-23 | 01a3f9d80 | rocq-elpi 3.5.0 |
| 3.4.0 | 2026-06-23 | 1259f37c6 | rocq-elpi: revision bump (ocaml 5.5.0) |
| 3.4.0 | 2026-05-19 | c5d2d3cea | rocq-elpi 3.4.0 |
| 3.3.1 | 2026-03-21 | e3c3a85df | rocq-elpi: revision bump (ocaml 5.4.1) |
| 3.3.1 | 2026-03-12 | 790208970 | rocq-elpi 3.3.1 |
| 3.2.0 | 2026-02-09 | 16c26b76d | rocq-elpi: revision bump (rocq 9.1.1) |
| 3.2.0 | 2025-10-05 | 79a9c4286 | rocq-elpi: revision bump (rocq 9.1.0) |
| 3.2.0 | 2025-09-19 | 86372908a | rocq-elpi 3.2.0 |
| 3.1.0 | 2025-09-01 | 83657c40e | rocq-elpi 3.1.0 |
| 3.0.0 | 2025-03-24 | 02f3b1d11 | rocq-elpi 3.0.0 (new formula) |