diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-08-07 20:56:47 -0500 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-08-07 20:56:47 -0500 |
| commit | 612ed88b10d21d27473861340144cc2e98d3b2ca (patch) | |
| tree | 5ef8b1d5e87e1d10fd917372c62d6131927b138e | |
| parent | 72e7763d4304f8a1df64b6d37773586382432e30 (diff) | |
gnu: swi-prolog: Update to 8.3.5.
* gnu/packages/prolog.scm (swi-prolog): Update to 8.3.5.
| -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 18c51a7c94..86b4bd2107 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.4") + (version "8.3.5") (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 - "1r8ypnm8vd2si5wsc9f9i612967l9pdd57bdq4n29mjnl18wznfr")))) + "14dga0gja45x1717fp1bwgf96nzc0zgb8x1lha0pb46jg1raa2da")))) (build-system cmake-build-system) (arguments `(#:parallel-build? #t |