Subject: [PATCH 0/3] Update minizinc and solvers.

From: Herman Rimm <[email-masked]>
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