Michael Cho
3 commits · 3 version changes
2025-08-19 – 2026-03-21rocq-elpi version history (formula)
All packages / formula
- Current
- 3.5.1
- Versions
- 13
- Since
- Aug 2025
- Cadence
- 15d
- Bottles
- 5 platforms
Update cadence
Aug 2025 to Sep 2026
Bottle availability
9 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2025-08-23 | present | 6b199c458 | — |
| Linux (x86_64) | 2025-08-23 | present | 6b199c458 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-10 | present | 5fc41d934 | — |
| macOS Tahoe 26 (arm64) | 2025-09-11 | present | b6b2278fc | — |
| macOS Sequoia 15 (arm64) | 2025-08-23 | present | 6b199c458 | — |
| macOS Sonoma 14 (arm64) | 2025-08-23 | 2026-09-19 | 6b199c458 | 23df418cb |
| macOS Sonoma 14 (x86_64) | 2025-08-23 | 2026-09-05 | 6b199c458 | 9c33cd7ef |
| macOS Ventura 13 (arm64) | 2025-08-23 | 2025-09-19 | 6b199c458 | b453efe2d |
| macOS Ventura 13 (x86_64) | 2025-08-23 | 2025-09-19 | 6b199c458 | b453efe2d |
Contributors
6 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
botantony
2 commits · 1 version change
2026-09-12 – 2026-09-19Daeho Ro
2 commits · 2 version changes
2026-07-12 – 2026-09-19Ruoyu Zhong
2 commits · 0 version changes
2025-09-11 – 2026-09-10Rui Chen
1 commit · 1 version change
2026-02-09 – 2026-02-09Francois-Xavier Coudert
1 commit · 0 version changes
2025-08-23 – 2025-08-23Automation
BrewTestBot
18 commits · 6 version changes
2025-09-04 – 2026-09-19Version timeline
13 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 3.5.1 | 2026-09-19 | d1a39c259 | rocq-elpi: revision bump (rocq 9.3.0) |
| 3.5.1 | 2026-09-19 | 23df418cb | rocq-elpi: revision bump (ocaml 5.5.1) |
| 3.5.1 | 2026-09-05 | 9c33cd7ef | rocq-elpi 3.5.1 |
| 3.5.0 | 2026-07-25 | 5ee10d6f4 | rocq-elpi 3.5.0 |
| 3.4.0 | 2026-07-13 | f01f2cba1 | rocq-elpi: revision bump (ocaml 5.5.0) |
| 3.4.0 | 2026-05-21 | 2502a905d | rocq-elpi 3.4.0 |
| 3.3.1 | 2026-03-22 | 041e57d22 | rocq-elpi: revision bump (ocaml 5.4.1) |
| 3.3.1 | 2026-03-16 | 4394d006e | rocq-elpi 3.3.1 |
| 3.2.0 | 2026-02-09 | 6b6ab79be | rocq-elpi: revision bump (rocq 9.1.1) |
| 3.2.0 | 2025-10-05 | 8af6dd6ea | rocq-elpi: revision bump (rocq 9.1.0) |
| 3.2.0 | 2025-09-19 | b453efe2d | rocq-elpi 3.2.0 |
| 3.1.0 | 2025-09-04 | 2a66457a9 | rocq-elpi 3.1.0 |
| 3.0.0 | 2025-08-23 | 6b199c458 | rocq-elpi 3.0.0 (new formula) |