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