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

Previous Next

Package: guix-patches;

Reported by: Herman Rimm <herman <at> rimm.ee>

Date: Sat, 30 Mar 2024 11:41:01 UTC

Severity: normal

Tags: patch

Done: Ludovic Courtès <ludo <at> gnu.org>

Bug is archived. No further changes may be made.

Full log

View this message in rfc822 format

From: Herman Rimm <herman <at> rimm.ee>
To: 70087 <at> debbugs.gnu.org
Cc: Andreas Enge <andreas <at> enge.fr>, Eric Bavier <bavier <at> posteo.net>, Sharlatan Hellseher <sharlatanus <at> gmail.com>
Subject: [bug#70087] [PATCH 0/3] Update minizinc and solvers.
Date: Wed, 15 May 2024 20:01:57 +0200

Hello Andreas,

I fixed the gecode example installation as well.  If you make any
adjustments, please keep the line length at or below 72 chars.

Thanks,
Herman

Herman Rimm (3):
  gnu: gecode: Update to 6.2.0-1.f7f0d7c.
  gnu: chuffed: Update to 0.13.2.
  gnu: minizinc: Update to 2.8.4.

 gnu/packages/maths.scm | 139 +++++++++++++++++------------------------
 1 file changed, 59 insertions(+), 80 deletions(-)


base-commit: 9d42741693c02396be54ccf548b4c36249e94ef2
-- 
2.41.0
This bug report was last modified 1 year and 40 days ago.

Previous Next

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