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