| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-04-07 | coq: fix URL | Jack Nagel |
| 2013-04-07 | updated coq version to 8.4pl2 | Duckki Oe |
| 2013-01-27 | coq: style nits | Adam Vandenberg |
| 2013-01-21 | Use new requirement syntax | Jack Nagel |
| 2013-01-18 | Use fatal DSL method in requirements | Jack Nagel |
| 2013-01-03 | coq 8.4pl1 | Jonas B. Jensen |
| 2012-09-14 | coq: remove skip_clean | Adam Vandenberg |
| 2012-08-29 | coq: Do not pass -arch to ./configure | Kenn Knowles |
| 2012-08-28 | coq 8.4 | bellbind |
| 2012-08-08 | coq-8.3pl4 | bellbind |
| 2012-03-12 | coq: use a Requirement | Adam Vandenberg |
| 2012-03-12 | coq 8.3pl3 | Pedro Borges |
| 2011-07-29 | coq 8.3pl2 | Austin Seipp |
| 2011-07-01 | coq: fix compiles on 8-core machines | Adam Vandenberg |
| 2010-12-03 | Update coq fixes #3442 | Adam Vandenberg |
| 2010-11-05 | coq: Upgrade to v8.3 | Michael Dippery |
| 2010-11-03 | Added coq | Michael Dippery |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |