R. Ryantm b77e33c4e0 minizinc: 2.7.5 -> 2.7.6		2023-06-24 15:58:30 +00:00
..
simple-test	minizinc: fix build inputs, format	2023-06-01 21:12:25 +02:00
default.nix	minizinc: 2.7.5 -> 2.7.6	2023-06-24 15:58:30 +00:00
gecode.msc
ide.nix	minizinc: fix build inputs, format	2023-06-01 21:12:25 +02:00