[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[bug#70087] [PATCH 0/3] Update minizinc and solvers.
From: |
Herman Rimm |
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
- [bug#70087] [PATCH 0/3] Update minizinc and solvers.,
Herman Rimm <=