From 857c50d6e0bce115deb9f0a8da03a51095072e4e Mon Sep 17 00:00:00 2001 From: Liliana Marie Prikler Date: Wed, 25 Sep 2024 21:55:10 +0200 Subject: gnu: z3: Update to 4.13.0. * gnu/packages/maths.scm (z3): Update to 4.13.0. --- 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 29cdc727b6..309eeb1e9e 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -7702,7 +7702,7 @@ s-expression-based format.") (define-public z3 (package (name "z3") - (version "4.8.17") + (version "4.13.0") (home-page "https://github.com/Z3Prover/z3") (source (origin (method git-fetch) @@ -7711,7 +7711,7 @@ s-expression-based format.") (file-name (git-file-name name version)) (sha256 (base32 - "1vvb09q7w7zd29qc4qjysrrhyylszm1wf6azkff004ixwn026b05")))) + "0j46lckf3zgx2xjay7z6nvlgh47gisbbl4s3m5zn280a13fwz1ih")))) (build-system cmake-build-system) (arguments (list -- cgit v1.2.3