update Nix packages #389
Annotations
1 warning
Run nix run .#update -- check -A alive2-regehr
alive2-regehr differs by 8 non-merge commits from arm-tv (https://github.com/regehr/alive2/compare/7f3294b92ca39f7a46bf77574d3d9369ca00ada5...95287e7b01b980fff900ba6d9b6f425bd71b133b)
|
Loading