bug#44431: closed ([PATCH 2/3] gnu: z3: Update to 4.8.9.)

[GNU bug Tracking System]

Your message dated Thu, 5 Nov 2020 08:05:28 -0600
with message-id <dd863809-ce39-2502-4eaf-83d4cf99555e@riseup.net>
and subject line close
has caused the debbugs.gnu.org bug report #44431,
regarding [PATCH 2/3] gnu: z3: Update to 4.8.9.
to be marked as done.

(If you believe you have received this mail in error, please contact
help-debbugs@gnu.org.)


-- 
44431: http://debbugs.gnu.org/cgi/bugreport.cgi?bug=44431
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 2/3] gnu: z3: Update to 4.8.9.
>
>
>
>
> Date: 
>
> Wed,  4 Nov 2020 06:29:27 -0600
>
>
>
>
> * gnu/packages/maths.scm (z3): Update to 4.8.9.
> ---
>  gnu/packages/maths.scm | 5 +++--
>  1 file changed, 3 insertions(+), 2 deletions(-)
>
> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
> index ba46937f9a..af1d15000c 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)
> -- 
> 2.29.1
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> close
>
>
>
>
> Date: 
>
> Thu, 5 Nov 2020 08:05:28 -0600
>
>
>
>
> this was a mistake
>
>
> --- End Message ---