bug#70087: closed ([PATCH 1/4] gnu: gecode: Update to development version 6.3.0.)

[GNU bug Tracking System]

Your message dated Sun, 02 Jun 2024 12:17:26 +0200
with message-id <87h6eblkcp.fsf@gnu.org>
and subject line Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers.
has caused the debbugs.gnu.org bug report #70087,
regarding [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.
to be marked as done.

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


-- 
70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70087
GNU Bug Tracking System
Contact help-debbugs@gnu.org with problems
> --- Begin Message ---
>
>
>
> Subject: 
>
> [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.
>
>
>
>
> Date: 
>
> Sat, 30 Mar 2024 12:40:05 +0100
>
>
>
>
> * gnu/packages/maths.scm (gecode): Update.
>
> Change-Id: I5e89105f3fef61d6aa677a4a118225679220ce5d
> ---
>  gnu/packages/maths.scm | 7 ++++---
>  1 file changed, 4 insertions(+), 3 deletions(-)
>
> diff --git a/gnu/packages/maths.scm b/gnu/packages/maths.scm
> index 479591889f..6c23aa3562 100644
> --- a/gnu/packages/maths.scm
> +++ b/gnu/packages/maths.scm
> @@ -63,6 +63,7 @@
>  ;;; Copyright © 2023 Jake Leporte <jakeleporte@outlook.com>
>  ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico@riseup.net>
>  ;;; Copyright © 2023 David Elsing <david.elsing@posteo.net>
> +;;; Copyright © 2024 Herman Rimm <herman@rimm.ee>
>  ;;;
>  ;;; This file is part of GNU Guix.
>  ;;;
> @@ -2615,16 +2616,16 @@ (define-public clp
>  (define-public gecode
>    (package
>      (name "gecode")
> -    (version "6.2.0")
> +    (version "6.3.0")
>      (source (origin
>                (method git-fetch)
>                (uri (git-reference
>                      (url "https://github.com/Gecode/gecode";)
> -                    (commit (string-append "release-" version))))
> +                    (commit "2d20e88cae176584b6e09d909aca3eb72ae76829")))
>                (file-name (git-file-name name version))
>                (sha256
>                 (base32
> -                "0b1cq0c810j1xr2x9y9996p894571sdxng5h74py17c6nr8c6dmk"))
> +                "0hf7hd7m5p26xwn8f561f0gn2a6q33xz818jg3ivmvp2ysmmmm4r"))
>                (modules '((guix build utils)))
>                (snippet
>                 '(begin
>
> base-commit: 350cdbe83819233b6db9fb1cfc797eaf80b0d168
> -- 
> 2.41.0
>
>
>
>
> --- End Message ---
> --- Begin Message ---
>
>
>
> Subject: 
>
> Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers.
>
>
>
>
> Date: 
>
> Sun, 02 Jun 2024 12:17:26 +0200
>
>
>
>
> User-agent: 
>
> Gnus/5.13 (Gnus v5.13)
>
>
>
>
> Hey Herman and all,
>
> I went ahead and pushed this revision as
> 0bd5e1bf9290894d2a56e217f3eed3ecc2c96103.
>
> Thanks!
>
> Ludo’.
>
>
> --- End Message ---