swi-prolog devel 7.1.1
This commit is contained in:
parent
e1f05a9a86
commit
8bb7915769
1 changed files with 2 additions and 2 deletions
|
@ -6,8 +6,8 @@ class SwiProlog < Formula
|
||||||
sha1 '5dac33bdf5c0ed78c67c1b4e708e84895cd96dfc'
|
sha1 '5dac33bdf5c0ed78c67c1b4e708e84895cd96dfc'
|
||||||
|
|
||||||
devel do
|
devel do
|
||||||
url 'http://www.swi-prolog.org/download/devel/src/pl-7.1.0.tar.gz'
|
url 'http://www.swi-prolog.org/download/devel/src/pl-7.1.1.tar.gz'
|
||||||
sha1 '4930591addb4d14b90b12045f73c7c716fb63f07'
|
sha1 '88b3d70a557e35fea19a70f3b9753aabc63e71b6'
|
||||||
end
|
end
|
||||||
|
|
||||||
head do
|
head do
|
||||||
|
|
Loading…
Reference in a new issue