diff options
author | Brett Gilio <brettg@gnu.org> | 2020-01-04 14:52:22 -0600 |
---|---|---|
committer | Brett Gilio <brettg@gnu.org> | 2020-01-04 14:52:22 -0600 |
commit | bcd47c67b04c94e33631fd9a71fd907a9eed379b (patch) | |
tree | 493e4c7f426a43220135ac554d628582238d67c0 /gnu/packages/prolog.scm | |
parent | 235c67341b5373f7d21edfd56a2ff19da4a25efb (diff) | |
download | patches-bcd47c67b04c94e33631fd9a71fd907a9eed379b.tar patches-bcd47c67b04c94e33631fd9a71fd907a9eed379b.tar.gz |
gnu: swi-prolog: Update to 8.1.20.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.1.20.
Diffstat (limited to 'gnu/packages/prolog.scm')
-rw-r--r-- | gnu/packages/prolog.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm index a85e58e19f..ca280f77fa 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.") (define-public swi-prolog (package (name "swi-prolog") - (version "8.1.19") + (version "8.1.20") (source (origin (method git-fetch) (uri (git-reference @@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.") (file-name (git-file-name name version)) (sha256 (base32 - "0p1psf1lrkm9vdz5fggyfnr7hwyf6rvf80gygbw47hhfx46li8jh")))) + "0blpw5g0gszi83wmvyhlh7pk4wlyx00vgaj6qr3ris36cdl8j10a")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t |