gurobi 9.5.1 -> 10.0.0 https://repology.org/project/gurobi/versions attrpath: gurobi Checking auto update branch... An auto update branch exists with message `gurobi: 9.5.1 -> 10.0.0`. New version is 10.0.0. An auto update branch exists with an equal or greater version