coqide version history (cask)
coqide
cask removed 6 versions
since Jul 2020
~28 days between updates
| Version | Updated | Commit |
|---|---|---|
| 8.13.1 | 2021-02-24 | 729c00532 |
| 8.13.0 | 2021-01-08 | c7cf47b77 |
| 8.12.2 | 2020-12-11 | f980c55f2 |
| 8.12.1 | 2020-12-08 | 7c637c434 |
| 8.12.0 | 2020-07-28 | 365df3c96 |
| 8.11.2 | 2020-07-27 | 03e3b6c36 |