2022-12-03T10:44:27 cbmc 5.70.0 -> 5.71.0 https://repology.org/metapackage/cbmc/versions
2022-12-03T10:44:29 attrpath: cbmc
2022-12-03T10:44:29 Checking auto update branch...
2022-12-03T10:44:29 An auto update branch exists with message `cbmc: 5.70.0 -> 5.71.0`. New version is 5.71.0.
2022-12-03T10:44:29 An auto update branch exists with an equal or greater version
2022-12-03T19:53:54 cbmc 5.70.0 -> 5.71.0 https://github.com/diffblue/cbmc/releases
2022-12-03T19:53:56 attrpath: cbmc
2022-12-03T19:53:56 Checking auto update branch...
2022-12-03T19:53:56 An auto update branch exists with message `cbmc: 5.70.0 -> 5.71.0`. New version is 5.71.0.
2022-12-03T19:53:56 An auto update branch exists with an equal or greater version