swi-prolog devel 7.1.17

Closes Homebrew/homebrew#30812. Signed-off-by: Jack Nagel <jacknagel@gmail.com>
2014-07-11 16:20:40 +02:00 · 2014-07-11 16:20:40 +02:00 · e9142a139f
parent f043bfe785
commit e9142a139f
1 changed files with 2 additions and 2 deletions
--- a/Formula/swi-prolog.rb
+++ b/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