Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.
This update was made based on information from https://repology.org/metapackage/gtkwave/versions.
These checks were done:
- built on NixOS
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/evcd2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fst2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2fst help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/fstminer --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2miner --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/lxt2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2lxt2 help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vcd2vzt help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vzt2vcd --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vztminer --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave help` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -V` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -v` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave version` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave -h` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave --help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/gtkwave help` and found version 3.3.89
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vermin -h` got 0 exit code
- ran `/nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89/bin/vermin -h` and found version 3.3.89
- found 3.3.89 with grep in /nix/store/njhhnirg6nvrvkx8n6fb3nzwzj491h34-gtkwave-3.3.89
- directory tree listing: https://gist.github.com/69f7a88d0a20c6860e8ee145090b3375
It turns out that the build system does not support building both the
command-line tool and the shared library at the same time. Consequently
the ngspice derivation has not provided the command-line tools since the
shared library was enabled in #31166.
The `geogebra` package is subject to break as upstream removes versioned
packages from their download server when five new releases are comming.
This is why I had to fix almost monthly the package by bumping the
version (these can be found by running `git log --online | grep
geogebra:`). As the package didn't cause any issues for several months
now I guess that using `archive.org` seems to be a suitable solution for
now.
/cc @sternenseemann @matthewbauer
Uses the HTTPS url for cases where the existing URL has a permanent
redirect. For each domain, at least one fixed derivation URL was
downloaded to test the domain is properly serving downloads.
Also fixes jbake source URL, which was broken.
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin_dbg -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_bin_dbg --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage_bin_dbg -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage_bin_dbg --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage -V` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_coverage --version` and found version 3.922
- ran `/nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922/bin/verilator_profcfunc help` got 0 exit code
- found 3.922 with grep in /nix/store/fnypnfihpivkzgwrpi3g6r7ag5psfdim-verilator-3.922
- directory tree listing: https://gist.github.com/04b5044a54bb4ff549696cbcd57cd88e
Aspino patched `libglucose` for their own uses, however they currently
depend on glucose v4.0.
(see e31c3b4e57/patches)
The patches don't apply properly on `glucose-4.1` anymore, furthermore
the new source directory caused the `bootstrap.sh` from `aspino` which
was supposed to apply the patches and recompile the setup to break.
Furthermore some minor changes to the derivation were introduced:
- upgraded from `2016-01-31` to `2017-03-09`
- the name contains an `-unstable-` infix as upstream has no releases
- instead of a `patchPhase` the `postPatch` hook will be used for
`substituteInPlace` to keep advanced patching features from `nixpkgs`
available.
- `patchShebangs` will be called to avoid impurities because of the
implicit reliance on `/bin/sh`
- added myself as second maintainer to have more people available in
case of any further breackage
See https://hydra.nixos.org/build/70688471/log
See ticket #36453
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 4.3.0 with grep in /nix/store/aw897502z5bcn6dw6rp7jca90flfrjab-JAGS-4.3.0
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -h` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -v` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c -h` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run -h` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run --help` got 0 exit code
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run -h` and found version 0.0.10pl1
- ran `/nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1/bin/gp2c-run --help` and found version 0.0.10pl1
- found 0.0.10pl1 with grep in /nix/store/phmgqwmf0fa3q2d62zq220zpgi64hssj-gp2c-0.0.10pl1
- directory tree listing: https://gist.github.com/27f1364bf90110b801070fcb28c64e0e
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.17.11 with grep in /nix/store/xmlvcz212yl8bij12jpqibhv8c8mqabs-picard-tools-2.17.11
- found 2.17.11 in filename of file in /nix/store/xmlvcz212yl8bij12jpqibhv8c8mqabs-picard-tools-2.17.11
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 2.4.9 with grep in /nix/store/q5c9jyg6gc4v3ns7rw5lxj7v4v916a7f-igv-2.4.9
- found 2.4.9 in filename of file in /nix/store/q5c9jyg6gc4v3ns7rw5lxj7v4v916a7f-igv-2.4.9
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:
- built on NixOS
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/fricas -h` got 0 exit code
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/fricas -h` and found version 1.3.3
- ran `/nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3/bin/efricas --help` got 0 exit code
- found 1.3.3 with grep in /nix/store/gbxxlzids227g9xaiqyqp2hp8ccmkfvq-fricas-1.3.3
