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

bump revisions of ocaml dependents

Browse source 
Revisions for camlp4, coccinelle, coq, opam due to OCaml 4.02.3 update

Closes Homebrew/homebrew#42307.

Signed-off-by: Dominyk Tiller <dominyktiller@gmail.com>
This commit is contained in:
Anil Madhavapeddy 2015-07-31 18:57:56 +01:00 committed by Dominyk Tiller
parent 5d7fb2c17d
commit 9e4c755acc
4 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
Formula/camlp4.rb
View file

@ -5,6 +5,7 @@ class Camlp4 < Formula
sha1 "6dd7e591dfde94c44576dba9b847279ffb92c889"
version "4.02.2+6"
head "https://github.com/ocaml/camlp4.git"
revision 1
bottle do
cellar :any

1
Formula/coccinelle.rb
View file

@ -5,6 +5,7 @@ class Coccinelle < Formula
homepage 'http://coccinelle.lip6.fr/'
url 'http://coccinelle.lip6.fr/distrib/coccinelle-1.0.0-rc21.tgz'
sha1 'edc008da552eb8f4ef7712fc99b4dc630ab6fb35'
revision 1
bottle do
sha1 "907762ffd74c58637cfc1968c0812cf324ad8ac1" => :yosemite

1
Formula/coq.rb
View file

@ -16,6 +16,7 @@ class Coq < Formula
url "https://coq.inria.fr/distrib/V8.4pl6/files/coq-8.4pl6.tar.gz"
version "8.4pl6"
sha256 "a540a231a9970a49353ca039f3544616ff86a208966ab1c593779ae13c91ebd6"
revision 1
head "git://scm.gforge.inria.fr/coq/coq.git", :branch => "trunk"

1
Formula/opam.rb
View file

@ -4,6 +4,7 @@ class Opam < Formula
url "https://github.com/ocaml/opam/archive/1.2.2.tar.gz"
sha256 "3e4a05df6ff8deecba019d885ebe902eb933acb6e2fc7784ffee1ee14871e36a"
head "https://github.com/ocaml/opam.git"
revision 1
bottle do
cellar :any