diff options
| author | jgart <jgart@dismail.de> | 2025-11-03 21:59:27 -0600 |
|---|---|---|
| committer | jgart <jgart@dismail.de> | 2025-11-04 13:00:59 -0600 |
| commit | c7f10d67425c092fe94f81c9d20cdfff67104263 (patch) | |
| tree | 5875a33d66fe91c4000365ca54ec7651b44b0331 /gnu | |
| parent | 0ef4d33da96fc6d953070fbefd74e1cd42ad58d8 (diff) | |
gnu: trealla: Update to 2.84.12.
* gnu/packages/prolog.scm (trealla): Update to 2.84.12.
Change-Id: I38fabf1237e323fd7864062110b76ba5a4b75ba3
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 e8ae3a1df52..434c8406400 100644 --- a/gnu/packages/prolog.scm +++ b/gnu/packages/prolog.scm @@ -189,7 +189,7 @@ it.") (define-public trealla (package (name "trealla") - (version "2.84.10") + (version "2.84.12") (source (origin (method git-fetch) @@ -198,7 +198,7 @@ it.") (url "https://github.com/trealla-prolog/trealla") (commit (string-append "v" version)))) (sha256 - (base32 "1lyzw854hizhafbryzac3x7hcs92khzb36y2cr931ywi950g817l")) + (base32 "0pkbgsfi1c7r4wnwkszrc0srci7ds322vsam01s5y2jp3x14i9mk")) (file-name (git-file-name name version)))) (build-system gnu-build-system) (native-inputs |