update Nix packages #408
Annotations
1 warning
Run nix run .#update -- check -A alive2-regehr
alive2-regehr differs by 2 non-merge commits from arm-tv (https://github.com/regehr/alive2/compare/78657f9693767952ffad6a9901421dd820386b41...c6e1e1a78fa5fabd54562a80fb534d525d0b7eaf)
|
Loading