aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/coq.rb
AgeCommit message (Expand)Author
2010-11-05coq: Upgrade to v8.3Michael Dippery
2010-11-03Added coqMichael Dippery
generated by cgit v1.2.3 (git 2.25.1) at 2026-05-24 07:57:13 +0000