Update dependency: deps/kevm_release (#1159)

* deps/kevm_release: Set Version 1.0.920

* Sync uv files: kevm-pyk version 1.0.920

* flake.{nix,lock}: update Nix derivations

* deps/kevm_release: Set Version 1.0.921

* Sync uv files: kevm-pyk version 1.0.921

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops <devops@runtimeverification.com>

Author: rv-jenkins

deps/kevm_release

@@ -1 +1 @@
-1.0.919
+1.0.921

flake.lock

@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.919";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.921";
     kevm.inputs.nixpkgs.follows = "nixpkgs";
 
     k-framework.follows = "kevm/k-framework";

flake.nix

@@ -8,7 +8,7 @@ version = "1.0.0"
 description = "Foundry integration for KEVM"
 requires-python = "~=3.10"
 dependencies = [
-    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.919#subdirectory=kevm-pyk",
+    "kevm-pyk@git+https://github.com/runtimeverification/evm-semantics.git@v1.0.921#subdirectory=kevm-pyk",
     "eth-utils>=5,<6",
     "pycryptodome>=3.20.0,<4",
     "pyevmasm>=0.2.3,<0.3",