botantony
3 commits · 1 version change
2026-09-12 – 2026-10-25rocq-micromega-plugin version history (formula)
All packages / formula
rocq-micromega-plugin
formulaformula timeline from Homebrew git history.
Track rocq-micromega-plugin with the RSS feed.
- Current
- 1.1.1
- Versions
- 5
- Since
- Jul 2026
- Cadence
- 23d
- Bottles
- 5 platforms
Update cadence
Jul 2026 to Oct 2026
Bottle availability
7 availability spans
| Platform | From | Until | First bottled commit | Removal commit |
|---|---|---|---|---|
| Linux (arm64) | 2026-07-13 | present | f01f2cba1 | — |
| Linux (x86_64) | 2026-07-13 | present | f01f2cba1 | — |
| macOS Golden Gate 27 (arm64) | 2026-09-11 | present | 47f0f9c08 | — |
| macOS Tahoe 26 (arm64) | 2026-07-13 | present | f01f2cba1 | — |
| macOS Sequoia 15 (arm64) | 2026-07-13 | present | f01f2cba1 | — |
| macOS Sonoma 14 (arm64) | 2026-07-13 | 2026-09-19 | f01f2cba1 | 23df418cb |
| macOS Sonoma 14 (x86_64) | 2026-07-13 | 2026-09-19 | f01f2cba1 | 23df418cb |
Contributors
3 people · 1 automated
Authors and co-authors of formula file changes in Homebrew history, not the upstream project.
Daeho Ro
3 commits · 3 version changes
2026-07-12 – 2026-10-24Ruoyu Zhong
1 commit · 0 version changes
2026-09-11 – 2026-09-11Automation
BrewTestBot
5 commits · 1 version change
2026-07-13 – 2026-09-19Version timeline
5 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 1.1.1 | 2026-10-25 | dd66c55be | rocq-micromega-plugin: revision bump (ocaml 5.5.2) |
| 1.1.1 | 2026-09-19 | d1a39c259 | rocq-micromega-plugin: revision bump (rocq 9.3.0) |
| 1.1.1 | 2026-09-19 | 23df418cb | rocq-micromega-plugin: revision bump (ocaml 5.5.1) |
| 1.1.1 | 2026-07-23 | 3256c8d4b | rocq-micromega-plugin 1.1.1 |
| 1.1.0 | 2026-07-13 | f01f2cba1 | rocq-micromega-plugin 1.1.0 (new formula) |