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

creduce 2.10.0

Browse source 
Closes #41695.

Signed-off-by: Chongyu Zhu <i@lembacon.com>
This commit is contained in:
Caleb Xu 2019-07-07 17:53:56 -04:00 committed by Chongyu Zhu
parent 931a11f707
commit 55e3aad3ee
No known key found for this signature in database
GPG key ID: 1A43E3C9100B38F5
1 changed files with 6 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

13
Formula/creduce.rb
View file

@ -1,9 +1,8 @@
class Creduce < Formula
desc "Reduce a C/C++ program while keeping a property of interest"
homepage "https://embed.cs.utah.edu/creduce/"
url "https://embed.cs.utah.edu/creduce/creduce-2.8.0.tar.gz"
sha256 "77f622453a7fc52aa061a89aed457f23ab538b12270df0a2a79b6957fd381def"
revision 1
url "https://embed.cs.utah.edu/creduce/creduce-2.10.0.tar.gz"
sha256 "db1c0f123967f24d620b040cebd53001bf3dcf03e400f78556a2ff2e11fea063"
head "https://github.com/csmith-project/creduce.git"
bottle do
@ -25,8 +24,8 @@ class Creduce < Formula
end
resource "File::Which" do
url "https://cpan.metacpan.org/authors/id/P/PL/PLICEASE/File-Which-1.22.tar.gz"
sha256 "e8a8ffcf96868c6879e82645db4ff9ef00c2d8a286fed21971e7280f52cf0dd4"
url "https://cpan.metacpan.org/authors/id/P/PL/PLICEASE/File-Which-1.23.tar.gz"
sha256 "b79dc2244b2d97b6f27167fc3b7799ef61a179040f3abd76ce1e0a3b0bc4e078"
end
resource "Getopt::Tabular" do
@ -40,8 +39,8 @@ class Creduce < Formula
end
resource "Term::ReadKey" do
url "https://cpan.metacpan.org/authors/id/J/JS/JSTOWE/TermReadKey-2.37.tar.gz"
sha256 "4a9383cf2e0e0194668fe2bd546e894ffad41d556b41d2f2f577c8db682db241"
url "https://cpan.metacpan.org/authors/id/J/JS/JSTOWE/TermReadKey-2.38.tar.gz"
sha256 "5a645878dc570ac33661581fbb090ff24ebce17d43ea53fd22e105a856a47290"
end
def install