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

fstar: update 0.9.2.0_3 bottle.

Browse source
This commit is contained in:
BrewTestBot 2016-11-30 20:27:16 +00:00 committed by ilovezfs
parent a8e77c47fc
commit 612f1ad2fe
1 changed files with 3 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
Formula/fstar.rb
View file

@ -9,9 +9,9 @@ class Fstar < Formula
bottle do
cellar :any_skip_relocation
sha256 "0b3123d11fc2d3560dfba1b5731ebebb38716d0b7fa8d2b35d65a45f71e7a1fb" => :sierra
sha256 "38c60283a46bf7264043f3bf84aedc0b844f8546b632cbec62e6332cb3e37f33" => :el_capitan
sha256 "b58b25e62e5080d7b5bf2e3377113e5be922545fecefc2bb6de549293abc2e3d" => :yosemite
sha256 "fed93a145c1455025bb3e799f14ca456e5326147059e60655daf2b90d5d31765" => :sierra
sha256 "af3a84d4b8fa2f76fe5863dd001aadb38200fe7409bac1ba1e5460b91ca2c72d" => :el_capitan
sha256 "158cb0755c2b09565fc3d605e1bbf6e894c7176e69f707f9ee01a4d844d879b6" => :yosemite
end
depends_on "opam" => :build