boogie 3.1.2 -> 3.1.3 https://github.com/boogie-org/boogie/releases
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