minizinc 2.7.1 -> 2.7.2 https://github.com/MiniZinc/libminizinc/releases
attrpath: minizinc
Checking auto update branch...
An auto update branch exists with message `minizinc: 2.7.1 -> 2.7.2`. New version is 2.7.2.
An auto update branch exists with an equal or greater version