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

compcert 3.5

Browse source
This commit is contained in:
Igor Kapkov 2019-03-22 14:15:28 +11:00 committed by FX Coudert
parent c781172e9c
commit adf0a34b52
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/compcert.rb
View file

@ -1,8 +1,8 @@
class Compcert < Formula class Compcert < Formula
desc "Formally verified C compiler" desc "Formally verified C compiler"
homepage "http://compcert.inria.fr" homepage "http://compcert.inria.fr"
url "https://github.com/AbsInt/CompCert/archive/v3.4.tar.gz" url "https://github.com/AbsInt/CompCert/archive/v3.5.tar.gz"
sha256 "7098136318ea1db90d9807a58fd27e90306e8022cb7d6e335ca2c13f3787ec89" sha256 "1ea01f9fe9dcfb664dec3b0076bd9ae0d54bb9d79279b5351ab12cc32369b509"
bottle do bottle do
cellar :any_skip_relocation cellar :any_skip_relocation