cryptominisat 5.11.15 -> 5.11.21 https://github.com/msoos/cryptominisat/releases
attrpath: cryptominisat
Checking auto update branch...
An auto update branch exists with message `stp: 2.3.3 -> unstable-2023-12-13`. New version is 5.11.21.
The auto update branch does not match or exceed the new version.
There might already be an open PR for this update:
- cryptominisat: 5.11.15 -> 5.11.21
  URL "https://api.github.com/repos/NixOS/nixpkgs/issues/287372"