2022-12-16T12:07:31 cbmc 5.71.0 -> 5.72.2 https://repology.org/metapackage/cbmc/versions
2022-12-16T12:07:33 attrpath: cbmc
2022-12-16T12:07:33 Checking auto update branch...
2022-12-16T12:07:34 An auto update branch exists with message `cbmc: 5.71.0 -> 5.72.2`. New version is 5.72.2.
2022-12-16T12:07:34 An auto update branch exists with an equal or greater version