Weijia Wang 7c9786d5c6 Merge pull request #285481 from r-ryantm/auto-update/minizinc ... minizinc: 2.8.2 -> 2.8.3		2024-03-07 21:58:07 +01:00
..
simple-test
default.nix	minizinc: 2.8.2 -> 2.8.3	2024-02-01 07:27:48 +00:00
gecode.msc
ide.nix	minizincide: 2.5.5 -> 2.8.2	2024-01-31 11:17:51 +11:00