4 commits

Author	SHA1	Message	Date
Nikolaus Wittenstein	758f6e9533	Add descriptions to all remaining homebrew packages	2015-06-05 14:47:57 +01:00
Viktor Szakáts	05c21234e3	cvc4: use https url and homepage ... Homepage serves mixed-content. Closes Homebrew/homebrew#38196. Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>	2015-03-30 19:26:18 +01:00
BrewTestBot	8c1717a155	cvc4: add 1.4 bottle.	2015-03-30 08:38:01 +01:00
Mike McQuaid	0c66378937	cvc4 1.4 (new formula)	2015-03-30 08:38:01 +01:00