Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.rocqnavi 0.5.0 -> 0.5.1 https://github.com/affeldt-aist/rocqnavi/releases
attrpath: coqPackages.rocqnavi
Checking auto update branch...
An auto update branch exists with message `coqPackages.rocqnavi: 0.5.0 -> 0.5.1`. New version is 0.5.1.
An auto update branch exists with an equal or greater version