gnu: trealla: Update to 2.80.13.

* gnu/packages/prolog.scm (trealla): Update to 2.80.13.

Change-Id: Ie8304c3df3e912519606f65fecc40625dcfcf65a
This commit is contained in:
jgart 2025-08-07 09:03:04 -05:00
parent 509ddf3c21
commit b2011d18b7
No known key found for this signature in database
GPG key ID: A52AA2B477B6DD35

View file

@ -185,7 +185,7 @@ it.")
(define-public trealla
(package
(name "trealla")
(version "2.80.10")
(version "2.80.13")
(source
(origin
(method git-fetch)
@ -194,7 +194,7 @@ it.")
(url "https://github.com/trealla-prolog/trealla")
(commit (string-append "v" version))))
(sha256
(base32 "1m4qm5ymjb2579kwsz9hzclpvh7im3f2vz5fg7828r2ap1dlfwlr"))
(base32 "1fj1xlg4b1cfwdmmac1cihs2rihjbmd2fg9gnb1qllzhrsyvzkbr"))
(file-name (git-file-name name version))))
(build-system gnu-build-system)
(native-inputs