R. Ryantm cbaf729704 minizinc: 2.6.2 -> 2.6.4		2022-08-23 22:25:47 +02:00
..
default.nix	minizinc: 2.6.2 -> 2.6.4	2022-08-23 22:25:47 +02:00
ide.nix	minizincide: 2.5.3 -> 2.5.5	2022-01-01 22:54:39 +01:00