Compare commits

...

2 Commits

Author SHA1 Message Date
jgart
0c1d342191 gnu: trealla: Update to 2.94.4.
* gnu/packages/prolog.scm (trealla): Update to 2.94.4.

Change-Id: I1e3fd231fa11ac47ce89eeb986b2c2d0969ae7cf
2026-04-26 21:59:16 -04:00
Maxim Cournoyer
ae50b34096 .guix-authorizations: Register Noé's key.
* .guix-authorizations (baleine): Register Noé's key.

Voucher: Liliana Marie Prikler <liliana.prikler@gmail.com>
Voucher: Maxim Cournoyer <maxim@guixotic.coop>
Voucher: Andreas Enge <andreas@enge.fr>
Change-Id: Iaa262f753d73f5ecd15ecd883b7e905de647b476
2026-04-27 09:35:25 +09:00
2 changed files with 4 additions and 2 deletions

View File

@@ -16,6 +16,8 @@
( ;; primary: "D0C2 EAC1 3310 822D 98DE B57C E9C5 A2D9 0898 A02F"
"01FD 85F4 1A7B 7F82 0583 06A5 935E BE07 36DC 857E"
(name "avp"))
("5D54 CF25 57B2 38E8 8DC1 80A2 2D22 3241 0AB7 4043"
(name "baleine"))
( ;; primary: "34FF 38BC D151 25A6 E340 A0B5 3453 2F9F AFCA 8B8E"
"A3A4 B419 0074 087C A7DE 5698 BC45 CA67 E2F8 D007"
(name "bavier"))

View File

@@ -237,7 +237,7 @@ it.")
(define-public trealla
(package
(name "trealla")
(version "2.94.2")
(version "2.94.4")
(source
(origin
(method git-fetch)
@@ -246,7 +246,7 @@ it.")
(url "https://github.com/trealla-prolog/trealla")
(commit (string-append "v" version))))
(sha256
(base32 "15pxb1j0gwkbsp3406h0smscv9plm92splnha7gl5gz58am4109p"))
(base32 "050x9m79j1bi17mj7zzbhlnn7ia26k51qrhp5z43wsx0rpp0hfqb"))
(file-name (git-file-name name version))))
(build-system gnu-build-system)
(inputs