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

fstar: revision for ocaml

Browse source
This commit is contained in:
ilovezfs 2016-11-30 08:15:16 -08:00
parent c4e156d7b2
commit 5a7cc65f68
1 changed files with 2 additions and 2 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
Formula/fstar.rb
View file

@ -4,7 +4,7 @@ class Fstar < Formula
url "https://github.com/FStarLang/FStar.git",
:tag => "v0.9.2.0",
:revision => "2a8ce0b3dfbfb9703079aace0d73f2479f0d0ce2"
revision 2
revision 3
head "https://github.com/FStarLang/FStar.git"
bottle do
@ -31,7 +31,7 @@ class Fstar < Formula
system "opam", "init", "--no-setup"
if build.stable?
system "opam", "install", "batteries=2.5.2", "zarith=1.3", "yojson=1.1.6"
system "opam", "install", "batteries=2.5.3", "zarith=1.3", "yojson=1.1.6"
else
system "opam", "install", "batteries", "zarith", "yojson"
end