From 35986182a3d3be23e40dbacec5e5628cee11928f Mon Sep 17 00:00:00 2001 From: ehonlia Date: Fri, 11 Jul 2014 16:20:40 +0200 Subject: swi-prolog devel 7.1.17 Closes #30812. Signed-off-by: Jack Nagel --- Library/Formula/swi-prolog.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'Library') diff --git a/Library/Formula/swi-prolog.rb b/Library/Formula/swi-prolog.rb index 147e84bb6..019b812a2 100644 --- a/Library/Formula/swi-prolog.rb +++ b/Library/Formula/swi-prolog.rb @@ -6,8 +6,8 @@ class SwiProlog < Formula sha1 "38cc6772a48fd412f50fc06e24e6e4673eb71d3b" devel do - url "http://www.swi-prolog.org/download/devel/src/pl-7.1.16.tar.gz" - sha1 "e80fc215f1ba5ab45b4c19e3e81321f6f2048091" + url "http://www.swi-prolog.org/download/devel/src/pl-7.1.17.tar.gz" + sha1 "48c721e4497e9a2d3724a90385bd8ed3f68ed193" end head do -- cgit v1.2.3