pkgstory

checked rss

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_1
Versions
60
Since
Feb 2018
Cadence
40d

Update cadence

Feb 2018 to Jul 2026

Contributors

25 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-07 – 2023-03-27

Michael Cho

7 commits · 7 version changes

2024-04-01 – 2026-05-21

Thierry Moisan

6 commits · 6 version changes

2018-10-31 – 2023-04-16

botantony

4 commits · 4 version changes

2025-05-27 – 2026-06-24

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

Daeho Ro

3 commits · 3 version changes

2025-09-09 – 2026-07-25

Francois-Xavier Coudert

3 commits · 1 version change

2020-11-19 – 2025-08-23

Rylan Polster

3 commits · 0 version changes

2020-11-14 – 2021-02-18

rui

3 commits · 2 version changes

2020-07-25 – 2020-12-11
Show 13 more

Caleb Xu

2 commits · 2 version changes

2020-06-15 – 2022-07-01

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

53 commits · 0 version changes

2018-02-01 – 2026-07-25

Version timeline

60 version-changing commits

VersionUpdatedCommitSubject
2.6.0_12026-07-25adcc04f24math-comp: revision bump (rocq-elpi 3.5.0)
2.6.02026-07-116fa072472math-comp 2.6.0
2.5.0_62026-06-2425d5a38bfmath-comp: revision bump (hierarchy-builder 1.10.3)
2.5.0_52026-05-212dff43a65math-comp: revision bump (rocq-elpi 3.4.0)
2.5.0_42026-03-21ee59428d9math-comp: revision bump (ocaml 5.4.1)
2.5.0_32026-03-16affd0c21cmath-comp: revision bump (rocq-elpi 3.3.1)
2.5.0_22026-02-09ab87554eemath-comp: revision bump (rocq 9.1.1)
2.5.0_12026-01-28ab1808646math-comp: revision bump (hierarchy-builder 1.10.2)
2.5.02025-10-14017901d1cmath-comp 2.5.0
2.4.0_42025-10-05e3c2c1d61math-comp: revision bump (rocq 9.1.0)
2.4.0_32025-09-19bb2e76647math-comp: revision bump (rocq-elpi 3.2.0)
2.4.0_22025-09-096409666b1math-comp: revision bump (hierarchy-builder 1.10.1)
2.4.0_12025-09-04baaf49d4cmath-comp: revision bump (ocaml 5.3.0)
2.4.02025-03-259346fa350math-comp 2.4.0
1.19.0_62025-01-16fa80e1d51math-comp: revision bump (coq 8.20.1)
1.19.0_52024-09-0469fbcaff8math-comp: revision bump (coq 8.20.0)
1.19.0_42024-06-10f3aa61cfamath-comp: revision bump (coq 8.19.2)
1.19.0_32024-06-048802357ebmath-comp: revision bump (ocaml-5.2.0)
1.19.0_22024-04-01dcdb14227math-comp: revision bump (coq 8.19.1)
1.19.0_12024-02-27cd3d6b51emath-comp: bump revision to force a rebuild
1.19.02024-02-2033a23a6c5math-comp 1.19.0
1.18.02023-12-058725963abmath-comp 1.18.0
1.17.0_12023-06-27e7ac22a03math-comp: revision bump (coq 8.17.1)
1.17.02023-05-09bcd4f357amath-comp 1.17.0
1.16.0_32023-04-19146d3c289math-comp: revision bump
1.16.0_22023-04-16ab32516d4math-comp: revision bump (coq 8.17.0)
1.16.0_12023-03-27c08e76f7emath-comp: revision bump (coq rebuild)
1.16.02023-02-01874df618dmath-comp 1.16.0
1.15.0_22022-11-2547cfe90d1math-comp: revision bump (coq 8.16.1)
1.15.0_12022-09-269f82f5341math-comp: revision bump (coq 8.16.0)
1.15.02022-07-01b879f070dmath-comp 1.15.0
1.14.02022-01-19203823407math-comp 1.14.0
1.13.0_22022-01-130074abfd1math-comp: revision bump (coq 8.15.0)
1.13.0_12021-11-23b088c92a2math-comp: revision bump (coq 8.14.1)
1.13.02021-11-15edb25f074math-comp 1.13.0
1.12.0_62021-10-142a8951044math-comp: revision bump (coq 8.14.0)
1.12.0_52021-04-01e81d2b4aamath-comp: revision bump (coq 8.13.2)
1.12.0_42021-02-223bacafe46math-comp: revision bump (coq 8.13.1)
1.12.0_32021-01-1077354f1e0math-comp: revision bump for coq
1.12.0_22021-01-07a5bd47a86math-comp: revision bump for coq
1.12.0_12020-12-112948591b7math-comp: revision for coq
1.12.02020-11-275522de95emath-comp 1.12.0
1.11.0_22020-11-13c8e61632bmath-comp: revision bump for coq
1.11.0_12020-07-25b6eaab28cmath-comp: revision for coq
1.11.02020-06-15ab72af6c9math-comp 1.11.0
1.10.0_42020-05-265d45732c9math-comp: revision bump for coq
1.10.0_32020-04-05479661645math-comp revision bump
1.10.0_22020-01-29fe1c3e7camath-comp: revision bump for coq
1.10.0_12019-11-29d006faf92math-comp: revision bump for coq
1.10.02019-11-290e0157655math-comp 1.10.0
1.9.0_22019-10-10a164bcd16math-comp: revision bump for coq 8.10.0
1.9.0_12019-06-03c2fecef5bmath-comp: revision bump for coq 8.9.1
1.9.02019-05-247207649aamath-comp 1.9.0
1.7.0_42019-01-292780cf762math-comp: bump revision for coq 8.9.0
1.7.0_32018-10-31d1adf2e09math-comp: revision bump for coq 8.8.2
1.7.0_22018-07-1084fa20ffdmath-comp: revision for coq
1.7.0_12018-04-2828e4c287dmath-comp: revision for coq
1.7.02018-04-254f5582ad9math-comp 1.7.0
1.6.4_12018-02-179dc5957c1math-comp: revision for coq
1.6.42018-02-0167f69ba9emath-comp 1.6.4