pkgstory

checked 2026-10-24 22:01 UTCrss

math-comp version history (formula)

All packages / formula

math-comp

formula

formula timeline from Homebrew git history.

Track math-comp with the RSS feed.

Current: 2.6.0_4
Versions: 63
Since: Feb 2018
Cadence: 37d
Bottles: 5 platforms

Update cadence

Feb 2018 to Sep 2026

Bottle availability

18 availability spans

Platform	From	Until	First bottled commit	Removal commit
Linux (arm64)	2025-03-21	present	91917dc63	—
Linux (x86_64)	2021-07-31	present	18e372468	—
macOS Golden Gate 27 (arm64)	2026-09-12	present	7eeedd4b4	—
macOS Tahoe 26 (arm64)	2025-09-16	present	6cab35443	—
macOS Sequoia 15 (arm64)	2024-09-13	present	a1a3fcbb3	—
macOS Sonoma 14 (arm64)	2023-09-29	2026-09-19	e7e885d94	23df418cb
macOS Sonoma 14 (x86_64)	2023-09-29	2026-09-05	e7e885d94	9c33cd7ef
macOS Ventura 13 (arm64)	2022-11-26	2025-09-19	ee9be1367	b453efe2d
macOS Ventura 13 (x86_64)	2023-02-01	2025-09-19	297aaab16	b453efe2d
macOS Monterey 12 (arm64)	2021-11-08	2025-01-16	0fa123c24	65d251e6c
macOS Monterey 12 (x86_64)	2021-11-08	2025-01-16	0fa123c24	65d251e6c
macOS Big Sur 11 (arm64)	2021-02-21	2023-12-06	f019c5a04	3e1a15920
macOS Big Sur 11 (x86_64)	2020-11-19	2023-12-06	fbd20161c	3e1a15920
macOS Catalina 10.15 (x86_64)	2019-10-10	2023-02-01	11a41b2f8	297aaab16
macOS Mojave 10.14 (x86_64)	2018-08-24	2021-11-15	39fa015b9	403262194
macOS High Sierra 10.13 (x86_64)	2018-02-01	2020-11-27	b53bdc841	9aedd1710
macOS Sierra 10.12 (x86_64)	2018-02-01	2019-10-10	b53bdc841	11a41b2f8
OS X El Capitan 10.11 (x86_64)	2018-02-01	2018-10-31	b53bdc841	1e032b90b

Contributors

26 people · 1 automated

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

Rui Chen

12 commits · 6 version changes

2021-11-15 – 2026-02-09

Tej Chajed

11 commits · 11 version changes

2019-10-10 – 2022-01-13

Carlo Cabrera

9 commits · 5 version changes

2021-01-08 – 2023-03-27

Michael Cho

7 commits · 7 version changes

2024-04-01 – 2026-05-21

botantony

6 commits · 4 version changes

2025-06-08 – 2026-09-19

Thierry Moisan

6 commits · 6 version changes

2018-10-31 – 2023-04-16

Daeho Ro

5 commits · 5 version changes

2025-09-09 – 2026-09-19

Patrick Linnane

4 commits · 4 version changes

2023-02-01 – 2023-06-27

ilovezfs

4 commits · 4 version changes

2018-02-17 – 2018-07-10

Francois-Xavier Coudert

3 commits · 0 version changes

2020-11-19 – 2025-08-23

Rylan Polster

3 commits · 0 version changes

2020-11-14 – 2021-02-19

rui

3 commits · 2 version changes

2020-07-26 – 2020-12-11

Show 14 more

Caleb Xu

2 commits · 2 version changes

2020-06-15 – 2022-07-01

FX Coudert

1 commit · 0 version changes

2026-09-12 – 2026-09-12

Ruoyu Zhong

1 commit · 0 version changes

2025-09-16 – 2025-09-16

Anton Kochkov

1 commit · 1 version change

2024-06-04 – 2024-06-04

Jason Gross

1 commit · 1 version change

2024-02-27 – 2024-02-27

Jade Elizabeth Sailor

1 commit · 1 version change

2024-02-20 – 2024-02-20

Eric Knibbe

1 commit · 1 version change

2023-12-05 – 2023-12-05

Mike McQuaid

1 commit · 0 version changes

2023-08-15 – 2023-08-15

Michael Cho

1 commit · 0 version changes

2021-07-31 – 2021-07-31

rui

1 commit · 0 version changes

2020-12-11 – 2020-12-11

mprince

1 commit · 1 version change

2020-11-27 – 2020-11-27

Dawid Dziurla

1 commit · 0 version changes

2020-04-06 – 2020-04-06

Igor Kapkov

1 commit · 1 version change

2019-05-24 – 2019-05-24

Kasumi Hanazuki

1 commit · 1 version change

2018-02-01 – 2018-02-01

Automation

BrewTestBot

56 commits · 0 version changes

2018-02-01 – 2026-09-19

Version timeline

63 version-changing commits

Version	Updated	Commit	Subject
2.6.0_4	2026-09-19	d1a39c259	math-comp: revision bump (rocq 9.3.0)
2.6.0_3	2026-09-19	23df418cb	math-comp: revision bump (ocaml 5.5.1)
2.6.0_2	2026-09-05	9c33cd7ef	math-comp: revision bump (rocq-elpi 3.5.1)
2.6.0_1	2026-07-25	5ee10d6f4	math-comp: revision bump (rocq-elpi 3.5.0)
2.6.0	2026-07-13	f01f2cba1	math-comp 2.6.0
2.5.0_6	2026-06-24	8d1b1ae21	math-comp: revision bump (hierarchy-builder 1.10.3)
2.5.0_5	2026-05-21	2502a905d	math-comp: revision bump (rocq-elpi 3.4.0)
2.5.0_4	2026-03-22	041e57d22	math-comp: revision bump (ocaml 5.4.1)
2.5.0_3	2026-03-16	4394d006e	math-comp: revision bump (rocq-elpi 3.3.1)
2.5.0_2	2026-02-09	6b6ab79be	math-comp: revision bump (rocq 9.1.1)
2.5.0_1	2026-01-28	7cf67cb88	math-comp: revision bump (hierarchy-builder 1.10.2)
2.5.0	2025-10-14	9a1c6cfd2	math-comp 2.5.0
2.4.0_4	2025-10-05	8af6dd6ea	math-comp: revision bump (rocq 9.1.0)
2.4.0_3	2025-09-19	b453efe2d	math-comp: revision bump (rocq-elpi 3.2.0)
2.4.0_2	2025-09-09	6ad446c8d	math-comp: revision bump (hierarchy-builder 1.10.1)
2.4.0_1	2025-09-04	2a66457a9	math-comp: revision bump (ocaml 5.3.0)
2.4.0	2025-08-23	6b199c458	math-comp 2.4.0
1.19.0_6	2025-01-16	65d251e6c	math-comp: revision bump (coq 8.20.1)
1.19.0_5	2024-09-04	66852c02e	math-comp: revision bump (coq 8.20.0)
1.19.0_4	2024-06-10	4b033374b	math-comp: revision bump (coq 8.19.2)
1.19.0_3	2024-06-06	ebed60d6d	math-comp: revision bump (ocaml-5.2.0)
1.19.0_2	2024-04-01	0fa6b03d8	math-comp: revision bump (coq 8.19.1)
1.19.0_1	2024-02-27	4b9be8a0b	math-comp: bump revision to force a rebuild
1.19.0	2024-02-27	dfed05ca8	math-comp 1.19.0
1.18.0	2023-12-06	3e1a15920	math-comp 1.18.0
1.17.0_1	2023-06-27	94f6d094e	math-comp: revision bump (coq 8.17.1)
1.17.0	2023-05-09	65100018a	math-comp 1.17.0
1.16.0_3	2023-04-20	f9304e77b	math-comp: revision bump
1.16.0_2	2023-04-18	f1674c760	math-comp: revision bump (coq 8.17.0)
1.16.0_1	2023-03-27	5ffc5b840	math-comp: revision bump (coq rebuild)
1.16.0	2023-02-01	874df618d	math-comp 1.16.0
1.15.0_2	2022-11-26	47cfe90d1	math-comp: revision bump (coq 8.16.1)
1.15.0_1	2022-09-26	9f82f5341	math-comp: revision bump (coq 8.16.0)
1.15.0	2022-07-01	b879f070d	math-comp 1.15.0
1.14.0	2022-01-19	203823407	math-comp 1.14.0
1.13.0_2	2022-01-13	0074abfd1	math-comp: revision bump (coq 8.15.0)
1.13.0_1	2021-11-24	b088c92a2	math-comp: revision bump (coq 8.14.1)
1.13.0	2021-11-15	edb25f074	math-comp 1.13.0
1.12.0_6	2021-10-14	2a8951044	math-comp: revision bump (coq 8.14.0)
1.12.0_5	2021-04-02	e81d2b4aa	math-comp: revision bump (coq 8.13.2)
1.12.0_4	2021-02-22	3bacafe46	math-comp: revision bump (coq 8.13.1)
1.12.0_3	2021-01-10	77354f1e0	math-comp: revision bump for coq
1.12.0_2	2021-01-08	a5bd47a86	math-comp: revision bump for coq
1.12.0_1	2020-12-11	2948591b7	math-comp: revision for coq
1.12.0	2020-11-27	5522de95e	math-comp 1.12.0
1.11.0_2	2020-11-14	c8e61632b	math-comp: revision bump for coq
1.11.0_1	2020-07-26	b6eaab28c	math-comp: revision for coq
1.11.0	2020-06-15	ab72af6c9	math-comp 1.11.0
1.10.0_4	2020-05-27	5d45732c9	math-comp: revision bump for coq
1.10.0_3	2020-04-06	479661645	math-comp revision bump
1.10.0_2	2020-01-30	fe1c3e7ca	math-comp: revision bump for coq
1.10.0_1	2019-11-29	d006faf92	math-comp: revision bump for coq
1.10.0	2019-11-29	0e0157655	math-comp 1.10.0
1.9.0_2	2019-10-10	a164bcd16	math-comp: revision bump for coq 8.10.0
1.9.0_1	2019-06-03	c2fecef5b	math-comp: revision bump for coq 8.9.1
1.9.0	2019-05-24	7207649aa	math-comp 1.9.0
1.7.0_4	2019-02-10	2780cf762	math-comp: bump revision for coq 8.9.0
1.7.0_3	2018-10-31	d1adf2e09	math-comp: revision bump for coq 8.8.2
1.7.0_2	2018-07-10	84fa20ffd	math-comp: revision for coq
1.7.0_1	2018-04-28	28e4c287d	math-comp: revision for coq
1.7.0	2018-04-28	4f5582ad9	math-comp 1.7.0
1.6.4_1	2018-02-17	9dc5957c1	math-comp: revision for coq
1.6.4	2018-02-01	67f69ba9e	math-comp 1.6.4