| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-03-30 | cvc4: use https url and homepage | Viktor Szakáts |
| 2015-03-30 | cvc4: add 1.4 bottle. | BrewTestBot |
| 2015-03-30 | cvc4 1.4 (new formula) | Mike McQuaid |
 |
index : homebrew | |
| :beer: The missing package manager for OS X. |
| aboutsummaryrefslogtreecommitdiffstats |