From ebd95d6253f776b2141f038f5d53bd324b5aab28 Mon Sep 17 00:00:00 2001 From: Hongxin Liang Date: Mon, 23 Jan 2017 09:40:47 +0100 Subject: [PATCH] swi-prolog 7.5.0 (devel) Upgrade to latest development version. 7.4.0 in in RC state. Closes #9188. Signed-off-by: Tomasz Pajor --- Formula/swi-prolog.rb | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/Formula/swi-prolog.rb b/Formula/swi-prolog.rb index 9f4120f9b8..c48380f8f1 100644 --- a/Formula/swi-prolog.rb +++ b/Formula/swi-prolog.rb @@ -12,8 +12,8 @@ class SwiProlog < Formula end devel do - url "http://www.swi-prolog.org/download/devel/src/swipl-7.3.32.tar.gz" - sha256 "932556e92946b3a05c0667914bd43039abd421fcb0cdb52f005cc20bde0a2c28" + url "http://www.swi-prolog.org/download/devel/src/swipl-7.5.0.tar.gz" + sha256 "67f0a6d05dd5c6604c256734aac095a122a39791970c2bc802d2e7950cfedef9" end head do