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