diff options
| author | BrewTestBot | 2015-01-30 08:24:46 +0000 |
|---|---|---|
| committer | Mike McQuaid | 2015-01-30 09:02:01 +0000 |
| commit | 41529fd4abe4c6e0a5f59e265d03a015d92d0e06 (patch) | |
| tree | 86a17299a3603d9a5521f3bb573527fc70a3c35e /Library/Formula | |
| parent | 32551a40e56c5cf1d9f7bebd1cd88ddfd04abb98 (diff) | |
| download | homebrew-41529fd4abe4c6e0a5f59e265d03a015d92d0e06.tar.bz2 | |
why3: add 0.85 bottle.
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/why3.rb | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Library/Formula/why3.rb b/Library/Formula/why3.rb index 6de8249aa..84b06d0de 100644 --- a/Library/Formula/why3.rb +++ b/Library/Formula/why3.rb @@ -3,6 +3,12 @@ class Why3 < Formula url "https://gforge.inria.fr/frs/download.php/file/34074/why3-0.85.tar.gz" sha1 "c8d5f56c80f936a667ea2719baa99bb84a5f05ca" + bottle do + sha1 "8b4e05c0ebe37dfed94a33693f5e93130a08cbd7" => :yosemite + sha1 "2e1b210bfa283db5116bba485f0d2bc8c68aacef" => :mavericks + sha1 "a6b08c8f3b78fd3c0bba978ef59a03dd701f85f3" => :mountain_lion + end + depends_on "objective-caml" depends_on "coq" => :optional depends_on "lablgtk" => :optional |