sundowndev
/
homebrew-core
mirror of https://github.com/sundowndev/homebrew-core.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

gringo: fix audit --warning

master
Miguel Araújo 2017-02-13 20:55:26 -03:00 committed by Mike McQuaid
parent 03d4a46c45
commit 0751fdde31
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
Formula/gringo.rb
View File

@ -1,6 +1,6 @@
class Gringo < Formula
desc "Grounder to translate user-provided logic programs"
homepage "http://potassco.sourceforge.net/"
homepage "https://potassco.sourceforge.io/"
url "https://downloads.sourceforge.net/project/potassco/gringo/4.5.4/gringo-4.5.4-source.tar.gz"
mirror "https://mirrors.kernel.org/debian/pool/main/g/gringo/gringo_4.5.4.orig.tar.gz"
sha256 "81f8bbbb1b06236778028e5f1b8627ee38a712ec708724112fb08aecf9bc649a"