| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |