boogie 3.0.10 -> 3.0.12 https://github.com/boogie-org/boogie/releases
attrpath: boogie
Checking auto update branch...
An auto update branch exists with message `boogie: 3.0.10 -> 3.0.12`. New version is 3.0.12.
An auto update branch exists with an equal or greater version