From e571cbb36ab4d71476b3389434bb43bfb577be8f Mon Sep 17 00:00:00 2001
From: BrewTestBot
Date: Fri, 27 Mar 2015 09:47:04 +0000
Subject: cvc4: add 1.4 bottle.

---
 Library/Formula/cvc4.rb | 7 +++++++
 1 file changed, 7 insertions(+)

(limited to 'Library')

diff --git a/Library/Formula/cvc4.rb b/Library/Formula/cvc4.rb
index 505fc2473..90aa96bcc 100644
--- a/Library/Formula/cvc4.rb
+++ b/Library/Formula/cvc4.rb
@@ -3,6 +3,13 @@ class Cvc4 < Formula
   url "http://cvc4.cs.nyu.edu/builds/src/cvc4-1.4.tar.gz"
   sha256 "76fe4ff9eb9ad7d65589efb47d41aae95f3191bd0d0c3940698a7cb2df3f7024"
 
+  bottle do
+    cellar :any
+    sha256 "8c18aef83d90f85ae6d4f1beeecc30863e9882097babdfff3bc3e2652182130f" => :yosemite
+    sha256 "a465f035282ee686be55186931122c65e70c1ec025ea55326bbc9de72147c360" => :mavericks
+    sha256 "c517ff1710952e6b8d46517dda794017a0f620bf2b75dbdff3a24987631b6a4a" => :mountain_lion
+  end
+
   head do
     url "http://cvc4.cs.nyu.edu/builds/src/unstable/latest-unstable.tar.gz"
   end
-- 
cgit v1.2.3