diff options
author | Martin Becze <mjbecze@riseup.net> | 2020-11-05 07:59:44 -0600 |
---|---|---|
committer | Christopher Baines <mail@cbaines.net> | 2020-11-17 21:39:12 +0000 |
commit | 62671027fbac7b22125edb65637843cf1f38028a (patch) | |
tree | 3644627c59a53c7d0b6ea4a73e5699136a7e2722 /gnu | |
parent | 6925c7ec26423389b252a4cea2428547bcd49dc7 (diff) | |
download | guix-patches-62671027fbac7b22125edb65637843cf1f38028a.tar guix-patches-62671027fbac7b22125edb65637843cf1f38028a.tar.gz |
gnu: z3: Update to 4.8.9.
* gnu/packages/maths.scm (z3): Update to 4.8.9.
(cherry picked from commit dc2de508a38d8e0a3f93e8d6ded225d3a7e32548)
Signed-off-by: Christopher Baines <mail@cbaines.net>
Diffstat (limited to 'gnu')
-rw-r--r-- | gnu/packages/maths.scm | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm index 1c02a1ab0f..4e7a74229f 100644 --- a/gnu/packages/maths.scm +++ b/gnu/packages/maths.scm @@ -41,6 +41,7 @@ ;;; Copyright © 2020 B. Wilson <elaexuotee@wilsonb.com> ;;; Copyright © 2020 Vinicius Monego <monego@posteo.net> ;;; Copyright © 2020 Simon Tournier <zimon.toutoune@gmail.com> +;;; Copyright © 2020 Martin Becze <mjbecze@riseup.net> ;;; ;;; This file is part of GNU Guix. ;;; @@ -4703,7 +4704,7 @@ as equations, scalars, vectors, and matrices.") (define-public z3 (package (name "z3") - (version "4.8.8") + (version "4.8.9") (home-page "https://github.com/Z3Prover/z3") (source (origin (method git-fetch) @@ -4712,7 +4713,7 @@ as equations, scalars, vectors, and matrices.") (file-name (git-file-name name version)) (sha256 (base32 - "1rn538ghqwxq0v8i6578j8mflk6fyv0cp4hjfqynzvinjbps56da")))) + "1hnbzq10d23drd7ksm3c1n2611c3kd0q0yxgz8y78zaafwczvwxx")))) (build-system gnu-build-system) (arguments `(#:imported-modules ((guix build python-build-system) |