boogie 3.0.10 -> 3.0.11 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.11`. New version is 3.0.11.
An auto update branch exists with an equal or greater version