GNU bug report logs - #78007
[PATCH] gnu: z3: Update to 4.14.1.

Previous Next

Package: guix-patches;

Reported by: Nguyễn Gia Phong <mcsinyx <at> disroot.org>

Date: Wed, 23 Apr 2025 08:02:02 UTC

Severity: normal

Tags: patch

To reply to this bug, email your comments to 78007 AT debbugs.gnu.org.

Toggle the display of automated, internal messages from the tracker.

View this report as an mbox folder, status mbox, maintainer mbox

Report forwarded to andreas <at> enge.fr, bavier <at> posteo.net, sharlatanus <at> gmail.com, guix-patches <at> gnu.org:
bug#78007; Package guix-patches. (Wed, 23 Apr 2025 08:02:02 GMT) Full text and rfc822 format available.
Acknowledgement sent to Nguyễn Gia Phong <mcsinyx <at> disroot.org>:
New bug report received and forwarded. Copy sent to andreas <at> enge.fr, bavier <at> posteo.net, sharlatanus <at> gmail.com, guix-patches <at> gnu.org. (Wed, 23 Apr 2025 08:02:02 GMT) Full text and rfc822 format available.

Message #5 received at submit <at> debbugs.gnu.org (full text, mbox):

From: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
To: guix-patches <at> gnu.org
Cc: Nguyễn Gia Phong <mcsinyx <at> disroot.org>
Subject: [PATCH] gnu: z3: Update to 4.14.1.
Date: Wed, 23 Apr 2025 17:00:29 +0900

* gnu/packages/maths.scm (z3): Update to 4.14.1.

Change-Id: Ica7152f3bc94a32444d1831dc2154df4239c1229
---
 gnu/packages/maths.scm | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
index b0c5b8685c26..debdbac85bdf 100644
--- a/gnu/packages/maths.scm
+++ b/gnu/packages/maths.scm
@@ -8281,7 +8281,7 @@ (define-public yices
 (define-public z3
   (package
     (name "z3")
-    (version "4.13.0")
+    (version "4.14.1")
     (home-page "https://github.com/Z3Prover/z3")
     (source (origin
               (method git-fetch)
@@ -8290,7 +8290,7 @@ (define-public z3
               (file-name (git-file-name name version))
               (sha256
                (base32
-                "0j46lckf3zgx2xjay7z6nvlgh47gisbbl4s3m5zn280a13fwz1ih"))))
+                "1gdknrqnnigfh1h833ks3vbrp4j74mfg6188c0k4xbl5zv6h6fx5"))))
     (build-system cmake-build-system)
     (arguments
      (list

base-commit: b12d44dd5e35ac236bf3fbb5619b9c8c2f42c902
-- 
2.49.0
This bug report was last modified 1 day ago.

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.