Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: alt-ergo 2.6.3 -> 2.6.4 https://github.com/OCamlPro/alt-ergo/releases
attrpath: alt-ergo
Checking auto update branch...
An auto update branch exists with message `alt-ergo: 2.6.3 -> 2.6.4`. New version is 2.6.4.
An auto update branch exists with an equal or greater version