diff options
| author | Brett Gilio <brettg@gnu.org> | 2020-10-22 21:38:14 -0500 |
|---|---|---|
| committer | Brett Gilio <brettg@gnu.org> | 2020-10-22 21:38:14 -0500 |
| commit | 88d19248b9c03614bfaf9baf3c6b7b880075d35c (patch) | |
| tree | 74d6d64186b1a0dcb8fe6127c2e2981ad98d81f7 /gnu | |
| parent | e997673eda3ce48e8a2fa401317320e00127f0a6 (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.scm | 4 |
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 |
