diff options
| author | Calvin Loncaric | 2014-10-10 23:43:02 -0700 |
|---|---|---|
| committer | Jack Nagel | 2014-10-11 13:26:14 -0500 |
| commit | ba750402619cebcfafd18c7242ec367c6c5ef3a7 (patch) | |
| tree | c92eae221bed1910525189c289a386d57b3d05c3 /Library/Formula | |
| parent | 53d6a65161796fcec874dcac4a63e92ba9acb3e0 (diff) | |
| download | homebrew-ba750402619cebcfafd18c7242ec367c6c5ef3a7.tar.bz2 | |
Compcert 2.4
Closes #33097.
Signed-off-by: Jack Nagel <jacknagel@gmail.com>
Diffstat (limited to 'Library/Formula')
| -rw-r--r-- | Library/Formula/compcert.rb | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/Library/Formula/compcert.rb b/Library/Formula/compcert.rb index f0820b4dc..d50d5f845 100644 --- a/Library/Formula/compcert.rb +++ b/Library/Formula/compcert.rb @@ -2,9 +2,8 @@ require "formula" class Compcert < Formula homepage "http://compcert.inria.fr" - url "http://compcert.inria.fr/release/compcert-2.3pl2.tgz" - sha1 "8d7b9d5b18bd52487686db2acd534c978b1e1421" - version "2.3pl2" + url "http://compcert.inria.fr/release/compcert-2.4.tgz" + sha1 "065eef31d1a59547fb3275ba7566867757b176f6" depends_on "objective-caml" => :build depends_on "coq" => :build |