swi-prolog 8.2.1
Closes #57183. Signed-off-by: chenrui <1580956+chenrui333@users.noreply.github.com> Signed-off-by: Jonathan Chang <jchang641@gmail.com>master
parent
1d46c48a6a
commit
7339b791b1
|
@ -1,8 +1,8 @@
|
||||||
class SwiProlog < Formula
|
class SwiProlog < Formula
|
||||||
desc "ISO/Edinburgh-style Prolog interpreter"
|
desc "ISO/Edinburgh-style Prolog interpreter"
|
||||||
homepage "https://www.swi-prolog.org/"
|
homepage "https://www.swi-prolog.org/"
|
||||||
url "https://www.swi-prolog.org/download/stable/src/swipl-8.2.0.tar.gz"
|
url "https://www.swi-prolog.org/download/stable/src/swipl-8.2.1.tar.gz"
|
||||||
sha256 "d8c9f3adb9cd997a5fed7b5f5dbfe971d2defda969b9066ada158e4202c09c3c"
|
sha256 "331bc5093d72af0c9f18fc9ed83b88ef9ddec0c8d379e6c49fa43739c8bda2fb"
|
||||||
head "https://github.com/SWI-Prolog/swipl-devel.git"
|
head "https://github.com/SWI-Prolog/swipl-devel.git"
|
||||||
|
|
||||||
bottle do
|
bottle do
|
||||||
|
|
Loading…
Reference in New Issue