R. RyanTM 971b497a47 minizinc: 2.5.4 -> 2.5.5		2021-03-22 12:14:15 +00:00
..
default.nix	minizinc: 2.5.4 -> 2.5.5	2021-03-22 12:14:15 +00:00
ide.nix	Merge master into staging-next	2021-02-10 18:16:36 +00:00