bug#70087: [PATCH 0/3] Update minizinc and solvers.

guix-patches

[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

bug#70087: [PATCH 0/3] Update minizinc and solvers.

From:	Ludovic Courtès
Subject:	bug#70087: [PATCH 0/3] Update minizinc and solvers.
Date:	Sun, 02 Jun 2024 12:17:26 +0200
User-agent:	Gnus/5.13 (Gnus v5.13)

Hey Herman and all,

I went ahead and pushed this revision as
0bd5e1bf9290894d2a56e217f3eed3ecc2c96103.

Thanks!

Ludo’.

[Prev in Thread]

Current Thread

[Next in Thread]

bug#70087: [PATCH 0/3] Update minizinc and solvers., Ludovic Courtès <=

Prev by Date: [bug#71111] [PATCH 0/1] services: home: Use pairs instead of lists.
Next by Date: [bug#71111] [PATCH 0/1] services: home: Use pairs instead of lists.
Previous by thread: bug#70095: [PATCH 1/1] gnu: asl: Update to 1.42-beta-267.
Next by thread: [bug#71322] [PATCH] gnu: emacs-ef-themes: Update to 1.7.0.
Index(es):
- Date
- Thread