diff options
| author | jgart <jgart@dismail.de> | 2025-11-25 16:36:43 -0600 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-11-25 16:37:18 -0600 |
| commit | cf8bb791f63e6fec8d0bb504d13eca458220ecac (patch) | |
| tree | ebc8043013cabcf1beb89374239e58b0dca1c518 | |
| parent | a06695ec55307fcdcd444b9a685673b80cff14e1 (diff) | |
gnu: trealla: Update to 2.85.18.
* gnu/packages/prolog.scm (trealla): Update to 2.85.18.
Change-Id: I7cbf059e1a2dfe8218ff3d7e55a777b5bb5abefd
| -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 3c9d7abbf99..842156026b1 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm | |||
| @@ -189,7 +189,7 @@ it.") | |||
| 189 | (define-public trealla | 189 | (define-public trealla |
| 190 | (package | 190 | (package |
| 191 | (name "trealla") | 191 | (name "trealla") |
| 192 | (version "2.85.13") | 192 | (version "2.85.18") |
| 193 | (source | 193 | (source |
| 194 | (origin | 194 | (origin |
| 195 | (method git-fetch) | 195 | (method git-fetch) |
| @@ -198,7 +198,7 @@ it.") | |||
| 198 | (url "https://github.com/trealla-prolog/trealla") | 198 | (url "https://github.com/trealla-prolog/trealla") |
| 199 | (commit (string-append "v" version)))) | 199 | (commit (string-append "v" version)))) |
| 200 | (sha256 | 200 | (sha256 |
| 201 | (base32 "1c08k86ybdgdcn74f28kbvia97fk2hnzhj5il7w2z90zsxwnss28")) | 201 | (base32 "1k2x025hkzpj79x81l6h1qc6rwmf3d97lxhhnzbfchxcygf5cmfq")) |
| 202 | (file-name (git-file-name name version)))) | 202 | (file-name (git-file-name name version)))) |
| 203 | (build-system gnu-build-system) | 203 | (build-system gnu-build-system) |
| 204 | (native-inputs | 204 | (native-inputs |