summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorBrett Gilio <brettg@gnu.org>2020-10-22 21:38:14 -0500
committerBrett Gilio <brettg@gnu.org>2020-10-22 21:38:14 -0500
commit88d19248b9c03614bfaf9baf3c6b7b880075d35c (patch)
tree74d6d64186b1a0dcb8fe6127c2e2981ad98d81f7 /gnu
parente997673eda3ce48e8a2fa401317320e00127f0a6 (diff)
gnu: swi-prolog: Update to 8.3.10.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.3.10.
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/prolog.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 324b089f4bc..9e0fe2a829e 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -86,7 +86,7 @@ manner. It also features an interactive interpreter.")
86(define-public swi-prolog 86(define-public swi-prolog
87 (package 87 (package
88 (name "swi-prolog") 88 (name "swi-prolog")
89 (version "8.3.9") 89 (version "8.3.10")
90 (source (origin 90 (source (origin
91 (method git-fetch) 91 (method git-fetch)
92 (uri (git-reference 92 (uri (git-reference
@@ -96,7 +96,7 @@ manner. It also features an interactive interpreter.")
96 (file-name (git-file-name name version)) 96 (file-name (git-file-name name version))
97 (sha256 97 (sha256
98 (base32 98 (base32
99 "0ixb8pc5s7q8q0njs8is1clpvik6jhhdcwnys7m9rpwdzgi10sjz")))) 99 "15q40qpxz472lp190zbk0lyap2xgaxzib55l0c3qwgf9haz46j1p"))))
100 (build-system cmake-build-system) 100 (build-system cmake-build-system)
101 (arguments 101 (arguments
102 `(#:parallel-build? #t 102 `(#:parallel-build? #t