diff options
| author | jgart <jgart@dismail.de> | 2025-11-28 16:19:14 -0600 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-11-28 16:19:39 -0600 |
| commit | e73ac4c5e7a2ca1c5525c08819210c95cb2d82a9 (patch) | |
| tree | ca69086ff7389ce8b9872b5e0b5c1bd1c51a0ec5 /gnu | |
| parent | fdb4688f9fe82205af088e84ebbb59bc0356bd89 (diff) | |
gnu: trealla: Update to 2.86.5.
* gnu/packages/prolog.scm (trealla): Update to 2.86.5.
Change-Id: I0587c79ee9a9e9b0e9c5f84e6e91582e8bc53070
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 842156026b1..6d478ce8699 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.18") | 192 | (version "2.86.5") |
| 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 "1k2x025hkzpj79x81l6h1qc6rwmf3d97lxhhnzbfchxcygf5cmfq")) | 201 | (base32 "0fbhzln2mlga0d9ga2w2nl5ypp16lapcfynf5jmx1jyqvy4zggnj")) |
| 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 |
