2022-12-16T13:16:57 cvc5 1.0.2 -> 1.0.3 https://repology.org/metapackage/cvc5/versions
2022-12-16T13:16:59 attrpath: cvc5
2022-12-16T13:16:59 Checking auto update branch...
2022-12-16T13:16:59 An auto update branch exists with message `cvc5: 1.0.2 -> 1.0.3`. New version is 1.0.3.
2022-12-16T13:16:59 An auto update branch exists with an equal or greater version