Hanlin
5 commits · 0 version changes
2018-10-02 – 2020-04-29coqide version history (cask)
All packages / cask
coqide
caskrenamedcask timeline from Homebrew git history.
- Current
- 8.13.1
- Versions
- 6
- Since
- Jul 2020
- Cadence
- 28d
Update cadence
Jul 2020 to Feb 2021
Contributors
33 people
Authors and co-authors of cask file changes in Homebrew history, not the upstream project.
Randall
3 commits · 1 version change
2019-05-21 – 2020-12-11Vítor Galvão
3 commits · 0 version changes
2015-01-06 – 2020-04-20Roland Walker
3 commits · 0 version changes
2014-09-15 – 2014-11-13Justin Krehel
2 commits · 0 version changes
2024-07-09 – 2024-11-10Mike McQuaid
2 commits · 1 version change
2020-07-27 – 2023-08-09Markus Reiter
2 commits · 0 version changes
2020-12-12 – 2021-03-21Hanlin He
2 commits · 0 version changes
2017-12-19 – 2018-04-24Miikka Koskinen
2 commits · 0 version changes
2016-02-15 – 2016-04-19ndr
2 commits · 0 version changes
2014-06-29 – 2014-10-11Patrick Linnane
1 commit · 0 version changes
2022-12-10 – 2022-12-10neutric
1 commit · 0 version changes
2022-01-27 – 2022-01-27Show 21 more
hyuraku
1 commit · 1 version change
2021-02-24 – 2021-02-24Aaron Carroll
1 commit · 0 version changes
2021-01-20 – 2021-01-20Miccal Matthews
1 commit · 0 version changes
2021-01-20 – 2021-01-20Jeffrey C
1 commit · 1 version change
2021-01-08 – 2021-01-08Tej Chajed
1 commit · 1 version change
2020-12-08 – 2020-12-08Hanlin He
1 commit · 1 version change
2020-07-28 – 2020-07-28Yaozhu Sun
1 commit · 0 version changes
2020-06-22 – 2020-06-22suschizu
1 commit · 0 version changes
2019-02-19 – 2019-02-19CoreCode
1 commit · 0 version changes
2019-01-19 – 2019-01-19Brian Morton
1 commit · 0 version changes
2018-07-09 – 2018-07-09commitay
1 commit · 0 version changes
2018-06-12 – 2018-06-12Gianni Tam-McMillan
1 commit · 0 version changes
2018-02-22 – 2018-02-22How Si Wei
1 commit · 0 version changes
2018-01-19 – 2018-01-19Phil Ngo
1 commit · 0 version changes
2017-11-28 – 2017-11-28Gianni Tam-McMillan
1 commit · 0 version changes
2017-10-08 – 2017-10-08giannitm
1 commit · 0 version changes
2017-04-29 – 2017-04-29Colin Dunn
1 commit · 0 version changes
2017-01-11 – 2017-01-11alekar
1 commit · 0 version changes
2016-12-24 – 2016-12-24Josh Tilles
1 commit · 0 version changes
2016-08-01 – 2016-08-01Josh Hagins
1 commit · 0 version changes
2015-12-18 – 2015-12-18Florian Harbecke
1 commit · 0 version changes
2014-11-20 – 2014-11-20Version timeline
6 version-changing commits
| Version | Updated | Commit | Subject |
|---|---|---|---|
| 8.13.1 | 2021-02-24 | 729c00532 | coqide: update to 8.13.1 (#100313) |
| 8.13.0 | 2021-01-08 | c7cf47b77 | Update coqide from 8.12.2 to 8.13.0 (#97524) |
| 8.12.2 | 2020-12-11 | f980c55f2 | Update coqide from 8.12.1 to 8.12.2 (#95244) |
| 8.12.1 | 2020-12-08 | 7c637c434 | Update coqide from 8.12.0 to 8.12.1 (#94937) |
| 8.12.0 | 2020-07-28 | 365df3c96 | Update coqide from 8.11.2 to 8.12.0 (#86737) |
| 8.11.2 | 2020-07-27 | 03e3b6c36 | coqide: fix RuboCop style. |