swi-prolog --devel 7.1.20
This commit is contained in:
parent
54fe41b5b9
commit
78cdf9fbd5
1 changed files with 2 additions and 2 deletions
|
@ -6,8 +6,8 @@ class SwiProlog < Formula
|
|||
sha1 "38cc6772a48fd412f50fc06e24e6e4673eb71d3b"
|
||||
|
||||
devel do
|
||||
url "http://www.swi-prolog.org/download/devel/src/pl-7.1.17.tar.gz"
|
||||
sha1 "48c721e4497e9a2d3724a90385bd8ed3f68ed193"
|
||||
url "http://www.swi-prolog.org/download/devel/src/pl-7.1.20.tar.gz"
|
||||
sha1 "f9d5152bb53ce956dff1eb01e41c05cc8a8e98e0"
|
||||
end
|
||||
|
||||
head do
|
||||
|
|
Loading…
Reference in a new issue