diff options
| author | BrewTestBot | 2015-03-27 09:47:04 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-03-30 08:38:01 +0100 |
| commit | e571cbb36ab4d71476b3389434bb43bfb577be8f (patch) | |
| tree | 1e9539c6c5eae149d7e7564a1e2ba1501c654ddc /Library | |
| parent | 8075dc7f47fcbd5eea6751a59c8e3ac825186fa3 (diff) | |
| download | homebrew-e571cbb36ab4d71476b3389434bb43bfb577be8f.tar.bz2 | |
cvc4: add 1.4 bottle.
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 |