99cb9de551
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/fricas/versions. These checks were done: - built on NixOS - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/fricas passed the binary check. - /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4/bin/efricas passed the binary check. - 2 of 2 passed binary check by having a zero exit code. - 0 of 2 passed binary check by having the new version present in output. - found 1.3.4 with grep in /nix/store/zbmbsjm8mg6i7s6fm3zas1bndg24w91x-fricas-1.3.4 - directory tree listing: https://gist.github.com/75d751d9733f6b0a7b582ab838a71963 - du listing: https://gist.github.com/4c6fe5f342430a2b36568da3229d3dc4 |
||
---|---|---|
.. | ||
default.nix |