Update dependency: deps/kevm_release - #1064

Merged

automergerpr-permission-manager[bot] merged 10 commits into

_update-deps/runtimeverification/evm-semantics

Aug 22, 2025

Commits on Aug 19, 2025

deps/kevm_release: Set Version 1.0.859
rv-auditor
committed
469c96b
Sync uv files: kevm-pyk version 1.0.859
rv-auditor
committed
b008be6
flake.{nix,lock}: update Nix derivations
rv-auditor
committed
17b4acd

Commits on Aug 20, 2025

deps/kevm_release: Set Version 1.0.860
rv-auditor
committed
ac6f34b
Sync uv files: kevm-pyk version 1.0.860
rv-auditor
committed
a3e75ae
flake.{nix,lock}: update Nix derivations
rv-auditor
committed
6f6a4e9

Commits on Aug 22, 2025