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