Patrick Linnane
2 commits · 0 version changes
2025-08-05 – 2025-09-15coq-platform version history (cask)
All packages / cask
- Current
- 2025.01.0
- Versions
- 2
- Since
- Nov 2024
- Cadence
- 140d
Update cadence
Nov 2024 to Mar 2025
Contributors
5 people
Authors and co-authors of cask file changes in Homebrew history, not the upstream project.
zyoshoka
2 commits · 1 version change
2025-03-31 – 2025-03-31Sam Ford
1 commit · 0 version changes
2026-04-24 – 2026-04-24botantony
1 commit · 0 version changes
2025-06-12 – 2025-06-12Justin Krehel
1 commit · 1 version change
2024-11-10 – 2024-11-10Version timeline
2 version-changing commits