Update K version in uv.lock#2795

automergerpr-permission-manager[bot] merged 1 commit into

masterruntimeverification/evm-semantics:masterfrom

update-k-versionruntimeverification/evm-semantics:update-k-versionCopy head branch name to clipboard