minizincide 2.8.2 -> 2.8.3 https://github.com/MiniZinc/MiniZincIDE/releases attrpath: minizincide Checking auto update branch... An auto update branch exists with message `minizincide: 2.8.2 -> 2.8.3`. New version is 2.8.3. An auto update branch exists with an equal or greater version