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