R. Ryantm 1c979d946b minizinc: 2.5.5 -> 2.6.0		2022-02-25 11:44:22 -08:00
..
default.nix	minizinc: 2.5.5 -> 2.6.0	2022-02-25 11:44:22 -08:00
ide.nix	minizincide: 2.5.3 -> 2.5.5	2022-01-01 22:54:39 +01:00