Peder Bergebakken Sundt bb0ddad096 Merge pull request #316946 from r-ryantm/auto-update/minizinc ... minizinc: 2.8.4 -> 2.8.5		2024-06-10 15:46:51 +02:00
..
simple-test
default.nix	Merge pull request #316946 from r-ryantm/auto-update/minizinc	2024-06-10 15:46:51 +02:00
gecode.msc
ide.nix	minizincide: 2.8.3 -> 2.8.4	2024-05-21 08:27:14 +00:00