Add `pyproject-nix` overlay#2802

automergerpr-permission-manager[bot] merged 2 commits intomasterruntimeverification/evm-semantics:masterfrom

pyproject-nix-overlayruntimeverification/evm-semantics:pyproject-nix-overlayCopy head branch name to clipboard