R. Ryantm 80376f5af5 minizinc: 2.8.6 -> 2.8.7		2024-10-05 05:32:29 +00:00
..
simple-test
default.nix	minizinc: 2.8.6 -> 2.8.7	2024-10-05 05:32:29 +00:00
gecode.msc
ide.nix	treewide: replace stdenv.is with stdenv.hostPlatform.is	2024-09-25 00:04:37 +03:00