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