summaryrefslogtreecommitdiff
path: root/gnu
diff options
context:
space:
mode:
authorjgart <jgart@dismail.de>2025-10-06 14:29:03 -0500
committerjgart <jgart@dismail.de>2025-10-06 15:15:58 -0500
commit765f3200dd2823124d006b51fe736340abf1e8ad (patch)
tree3fbc0124041ba2344a465b124c2b222e891ea4b3 /gnu
parent68fbaa2f996c05ec7c81b685323c185eea1b0110 (diff)
gnu: trealla: Update to 2.83.15.
* gnu/packages/prolog.scm (trealla): Update to 2.83.15. Change-Id: I9e4b0eada08c8d9a86172598977e252e002e7e91 Signed-off-by: jgart <jgart@dismail.de>
Diffstat (limited to 'gnu')
-rw-r--r--gnu/packages/prolog.scm4
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index 443b7695014..8db8306b99d 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -185,7 +185,7 @@ it.")
(define-public trealla
(package
(name "trealla")
- (version "2.83.13")
+ (version "2.83.15")
(source
(origin
(method git-fetch)
@@ -194,7 +194,7 @@ it.")
(url "https://github.com/trealla-prolog/trealla")
(commit (string-append "v" version))))
(sha256
- (base32 "1mb9hn96vvisa2gqdq4z2m5jjvd5k46khgiw7d41likn3i72fcl4"))
+ (base32 "1i3d1i77wmsaxcji9mgnhhwzf8k757wbxxbm5mxzff9cpgym8a04"))
(file-name (git-file-name name version))))
(build-system gnu-build-system)
(native-inputs