cryptominisat 5.11.14 -> 5.11.15 https://github.com/msoos/cryptominisat/releases
attrpath: cryptominisat
Checking auto update branch...
An auto update branch exists with message `cryptominisat: 5.11.14 -> 5.11.15`. New version is 5.11.15.
An auto update branch exists with an equal or greater version