[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70087] [PATCH 0/3] Update minizinc and solvers.
|
From: |
Andreas Enge |
|
Subject: |
[bug#70087] [PATCH 0/3] Update minizinc and solvers. |
|
Date: |
Wed, 15 May 2024 21:03:19 +0200 |
Hello,
Am Wed, May 15, 2024 at 08:01:57PM +0200 schrieb Herman Rimm:
> gnu: gecode: Update to 6.2.0-1.f7f0d7c.
> gnu: chuffed: Update to 0.13.2.
> gnu: minizinc: Update to 2.8.4.
I have just reverted my update of chuffed to 0.13.2 on master, so that your
patch series applies cleanly and QA will pick it up; it will also result in
you being credited for the update.
To anybody continuing work on this patchset, notice that the line
(file-name (git-file-name name version))
should be added to the chuffed package.
Andreas