diff options
| author | Boris A. Dekshteyn <boris.dekshteyn@gmail.com> | 2021-03-19 01:25:31 +1200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2021-03-19 13:24:17 +0100 |
| commit | 7b79ca0a056acd1ac67149c158fcb3f4b7c2c36f (patch) | |
| tree | 7c19369f2b3328d22338227b9901391e34e56b7c /gnu | |
| parent | 813cddfa57d964e519adcf44e8ccb07006bd905d (diff) | |
gnu: swi-prolog: Update to 8.3.20.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.3.20.
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
Diffstat (limited to 'gnu')
| -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 9e0fe2a829..a5c57cd37c 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.3.10") + (version "8.3.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 - "15q40qpxz472lp190zbk0lyap2xgaxzib55l0c3qwgf9haz46j1p")))) + "1g0v9cmz8zvzc1n0si7sn6522xwzbhj2b8967ibs6prinrpjc8d6")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t |