Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: cadical 2.2.0 -> 3.0.0 https://repology.org/project/cadical/versions
attrpath: cadical
Checking auto update branch...
An auto update branch exists with message `cadical: 2.2.0 -> 3.0.0`. New version is 3.0.0.
An auto update branch exists with an equal or greater version