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

Compcert 2.4

Browse source 
Closes Homebrew/homebrew#33097.

Signed-off-by: Jack Nagel <jacknagel@gmail.com>
This commit is contained in:
Calvin Loncaric 2014-10-10 23:43:02 -07:00 committed by Jack Nagel
parent 2e840d1981
commit 04a99fb575
1 changed files with 2 additions and 3 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

5
Formula/compcert.rb
View file

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