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

Message #77 received at 70087-done <at> debbugs.gnu.org (full text, mbox):

From: Ludovic Courtès <ludo <at> gnu.org>
To: Andreas Enge <andreas <at> enge.fr>
Cc: 70087-done <at> debbugs.gnu.org, Herman Rimm <herman <at> rimm.ee>,
 Sharlatan Hellseher <sharlatanus <at> gmail.com>, Eric Bavier <bavier <at> posteo.net>
Subject: Re: [bug#70087] [PATCH 0/3] Update minizinc and solvers.
Date: Sun, 02 Jun 2024 12:17:26 +0200

Hey Herman and all,

I went ahead and pushed this revision as
0bd5e1bf9290894d2a56e217f3eed3ecc2c96103.

Thanks!

Ludo’.
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.