Subject: [bug#70087] [PATCH 1/4] gnu: gecode: Update to development version 6.3.0.

From: Andreas Enge <[email-masked]>
Date: Wed, 15 May 2024 14:39:55 +0200

Am Wed, May 15, 2024 at 02:06:50PM +0200 schrieb Andreas Enge:
> One solution would be to downgrade gecode to the commit that you provided
> and tested minizinc with.

I have done just this; now minizinc compiles and solves the magic square
example. I have also modernised the gecode package definition using gexps.

Andreas