Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.mathcomp-finmap 2.2.2 -> 2.2.3 https://github.com/math-comp/finmap/releases
attrpath: coqPackages.mathcomp-finmap
Checking auto update branch...
An auto update branch exists with message `coqPackages.mathcomp-finmap: 2.2.2 -> 2.2.3`. New version is 2.2.3.
An auto update branch exists with an equal or greater version