Use `nix profile add` on Nix 2.30 and newer - #153

Open

mimifuwacc wants to merge 2 commits into

runtimeverification:masterfrom

mimifuwacc:fix/nix-profile-install-deprecation

Commits on Aug 31, 2026

Select profile command based on Nix version
mimifuwacc
committed
49947ad
Use version-compatible profile command
mimifuwacc
committed
e382ba3