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