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