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