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