wbrawner/homebrew-core
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

why3: add 0.85 bottle.

Browse source
This commit is contained in:
BrewTestBot 2015-01-30 08:24:46 +00:00 committed by Mike McQuaid
parent 0419979556
commit 8c3be3bb12
1 changed files with 6 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/why3.rb
View file

@ -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