| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2010-12-03 | Update coq fixes #3442 | Adam Vandenberg | |
| 2010-11-05 | coq: Upgrade to v8.3 | Michael Dippery | |
| I also added the HEAD version. Signed-off-by: Adam Vandenberg <flangy@gmail.com> | |||
| 2010-11-03 | Added coq | Michael Dippery | |
| Signed-off-by: Adam Vandenberg <flangy@gmail.com> | |||
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |