GNU bug report logs - #70087
[PATCH 1/4] gnu: gecode: Update to development version 6.3.0.

Previous Next

Full log

View this message in rfc822 format

From: help-debbugs <at> gnu.org (GNU bug Tracking System)
To: Andreas Enge <andreas <at> enge.fr>
Cc: tracker <at> debbugs.gnu.org
Subject: bug#70087: closed ([PATCH 1/4] gnu: gecode: Update to development
 version 6.3.0.)
Date: Wed, 15 May 2024 13:10:01 +0000

[Message part 1 (text/plain, inline)]

Your message dated Wed, 15 May 2024 15:08:33 +0200
with message-id <ZkSz0b1rOI4kvd9S <at> jurong>
and subject line Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.
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 <at> gnu.org.)


-- 
70087: https://debbugs.gnu.org/cgi/bugreport.cgi?bug=70087
GNU Bug Tracking System
Contact help-debbugs <at> gnu.org with problems

[Message part 2 (message/rfc822, inline)]

From: Herman Rimm <herman <at> rimm.ee>
To: guix-patches <at> gnu.org
Cc: Herman Rimm <herman <at> rimm.ee>
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 <at> outlook.com>
 ;;; Copyright © 2023 Camilo Q.S. (Distopico) <distopico <at> riseup.net>
 ;;; Copyright © 2023 David Elsing <david.elsing <at> posteo.net>
+;;; Copyright © 2024 Herman Rimm <herman <at> 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

[Message part 3 (message/rfc822, inline)]

From: Andreas Enge <andreas <at> enge.fr>
To: Herman Rimm <herman <at> rimm.ee>
Cc: 70087-done <at> debbugs.gnu.org, Sharlatan Hellseher <sharlatanus <at> gmail.com>,
 Eric Bavier <bavier <at> posteo.net>
Subject: Re: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development
 version 6.3.0.
Date: Wed, 15 May 2024 15:08:33 +0200

Hello,

I have now applied your patch to add chuffed to minizinc, and I have
gexpified this latter package.

An update of minizinc to 2.8.3 (or 2.8.4, released 5 days ago) does not
build; I think one would need to move to a different commit of gecode
(but not the latest one...).

I am closing the current bug. If you are motivated to look for a combination
of newer gecode and minizinc versions that work together, please feel free
to open a new bug.

Andreas

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.