aboutsummaryrefslogtreecommitdiffstats
path: root/Library/Formula/coq.rb
AgeCommit message (Collapse)Author
2014-05-25coq 8.4pl4Adam Vandenberg
2014-04-25coq: fix backslash escaping in documentation.Nada Amin
We want to output "\\.v$" so we need to write "\\\\.v$". Closes #28693. Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2014-02-27coq: use Formula[]Adam Vandenberg
2013-12-25coq 8.4pl3Josh Tilles
Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>
2013-09-19coq: fix camlp5 --transitional dependencyDarin Morrison
Closes #22672. Closes #22675. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2013-04-07coq: fix URLJack Nagel
2013-04-07updated coq version to 8.4pl2Duckki Oe
Closes #18999. Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2013-01-27coq: style nitsAdam Vandenberg
2013-01-21Use new requirement syntaxJack Nagel
2013-01-18Use fatal DSL method in requirementsJack Nagel
2013-01-03coq 8.4pl1Jonas B. Jensen
Closes #16861. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-09-14coq: remove skip_cleanAdam Vandenberg
2012-08-29coq: Do not pass -arch to ./configureKenn Knowles
Closes #14526. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-08-28coq 8.4bellbind
Closes #14389. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-08-08coq-8.3pl4bellbind
Closes #14043. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2012-03-12coq: use a RequirementAdam Vandenberg
2012-03-12coq 8.3pl3Pedro Borges
Bugfix release Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-07-29coq 8.3pl2Austin Seipp
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2011-07-01coq: fix compiles on 8-core machinesAdam Vandenberg
2010-12-03Update coq fixes #3442Adam Vandenberg
2010-11-05coq: Upgrade to v8.3Michael Dippery
I also added the HEAD version. Signed-off-by: Adam Vandenberg <flangy@gmail.com>
2010-11-03Added coqMichael Dippery
Signed-off-by: Adam Vandenberg <flangy@gmail.com>
generated by cgit v1.2.3 (git 2.25.1) at 2025-12-28 07:31:36 +0000