diff options
| author | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-09-25 21:55:10 +0200 |
|---|---|---|
| committer | Liliana Marie Prikler <liliana.prikler@gmail.com> | 2024-10-06 12:17:16 +0200 |
| commit | 857c50d6e0bce115deb9f0a8da03a51095072e4e (patch) | |
| tree | e99f97e659f43bc712b1ac5aff51892c04284216 /gnu/packages | |
| parent | 7a3b9db47e1def4c57b1d84a705e358b15cc8729 (diff) | |
gnu: z3: Update to 4.13.0.
* gnu/packages/maths.scm (z3): Update to 4.13.0.
Diffstat (limited to 'gnu/packages')
| -rw-r--r-- | gnu/packages/maths.scm | 4 |
1 files 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 |