diff options
Diffstat (limited to 'Library')
| -rw-r--r-- | Library/Formula/cvc4.rb | 7 |
1 files changed, 7 insertions, 0 deletions
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 |