Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2772)

rv-jenkins · rv-auditor · anvacaru · web-flow · commit f3b33199da07 · 2025-06-18T07:01:50.000Z
* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version f159396d0f16b88c86c557c47f7ae36ffc59dc53

* kevm-pyk/: sync poetry files pyk version 7.1.262

* deps/blockchain-k-plugin_release: sync release file version f159396d0f16b88c86c557c47f7ae36ffc59dc53

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

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

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Andrei &lt;16517508+anvacaru@users.noreply.github.com&gt;
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-1fda07d61df64ef9ae2ea87e6f767a02d30d4599
+f159396d0f16b88c86c557c47f7ae36ffc59dc53
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -12,7 +12,7 @@
     poetry2nix.inputs.nixpkgs.follows = "nixpkgs";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/1fda07d61df64ef9ae2ea87e6f767a02d30d4599";
+        "github:runtimeverification/blockchain-k-plugin/f159396d0f16b88c86c557c47f7ae36ffc59dc53";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "nixpkgs";
     };
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit 1fda07d61df64ef9ae2ea87e6f767a02d30d4599
+Subproject commit f159396d0f16b88c86c557c47f7ae36ffc59dc53

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-1fda07d61df64ef9ae2ea87e6f767a02d30d4599`
	`1`	`+f159396d0f16b88c86c557c47f7ae36ffc59dc53`