pkgstory

checked rss

rocq version history (formula)

All packages / formula

rocq

formula

formula timeline from Homebrew git history.

Track rocq with the RSS feed.

Current
9.3.0
Versions
8
Since
Aug 2025
Cadence
40d
Bottles
5 platforms

Update cadence

Aug 2025 to Sep 2026

Bottle availability

9 availability spans

PlatformFromUntilFirst bottled commitRemoval commit
Linux (arm64)2025-08-23present6b199c458—
Linux (x86_64)2025-08-23present6b199c458—
macOS Golden Gate 27 (arm64)2026-09-10present3ff1ec9ea—
macOS Tahoe 26 (arm64)2025-09-11present6d6c22fa2—
macOS Sequoia 15 (arm64)2025-08-23present6b199c458—
macOS Sonoma 14 (arm64)2025-08-232026-09-196b199c45823df418cb
macOS Sonoma 14 (x86_64)2025-08-232026-09-196b199c45823df418cb
macOS Ventura 13 (arm64)2025-08-232025-10-056b199c4588af6dd6ea
macOS Ventura 13 (x86_64)2025-08-232025-10-056b199c4588af6dd6ea

Contributors

6 people · 1 automated

Authors and co-authors of formula file changes in Homebrew history, not the upstream project.

Michael Cho

4 commits · 4 version changes

2025-08-19 – 2026-03-21

Daeho Ro

2 commits · 2 version changes

2026-07-12 – 2026-09-19

Ruoyu Zhong

2 commits · 0 version changes

2025-09-11 – 2026-09-10

botantony

1 commit · 0 version changes

2026-09-12 – 2026-09-12

Mike McQuaid

1 commit · 0 version changes

2026-06-22 – 2026-06-22

Francois-Xavier Coudert

1 commit · 0 version changes

2025-08-23 – 2025-08-23
Automation

BrewTestBot

9 commits · 2 version changes

2025-09-04 – 2026-09-19

Version timeline

8 version-changing commits

VersionUpdatedCommitSubject
9.3.02026-09-19d1a39c259rocq 9.3.0
9.2.0_12026-09-1923df418cbrocq: revision bump (ocaml 5.5.1)
9.2.02026-07-13f01f2cba1rocq 9.2.0
9.1.1_12026-03-22041e57d22rocq: revision bump (ocaml 5.4.1)
9.1.12026-02-096b6ab79berocq 9.1.1
9.1.02025-10-058af6dd6earocq 9.1.0
9.0.0_12025-09-042a66457a9rocq: revision bump (ocaml 5.3.0)
9.0.02025-08-236b199c458rocq 9.0.0 (renamed formula)