From 54dd08b9659618a9702de34fb69171b4800b8d05 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Wed, 4 Sep 2024 23:04:17 -0600
Subject: [PATCH] Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2607)

* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version a18c1d424957f794a1254d7e560712749c2aeb10

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

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/blockchain-k-plugin_release   |  2 +-
 flake.lock                         | 24 ++++++++++++------------
 flake.nix                          |  2 +-
 kevm-pyk/src/kevm_pyk/kproj/plugin |  2 +-
 4 files changed, 15 insertions(+), 15 deletions(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 046ce7b641..fec330bdfa 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-300c9cf567eba4c8c88675ff67ebd859795ee169
+a18c1d424957f794a1254d7e560712749c2aeb10
diff --git a/flake.lock b/flake.lock
index e13efbad6a..5dced4556e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -45,17 +45,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1724870545,
-        "narHash": "sha256-OVT3nyAQI59zQSALEOazE8q7WYRyDc7SbL7ilMAPjHc=",
+        "lastModified": 1725480100,
+        "narHash": "sha256-2gTqoktcvJUAmH4ES0B+r0BNt0PLPEYnCbZQxcIuJUA=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169",
+        "rev": "a18c1d424957f794a1254d7e560712749c2aeb10",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169",
+        "rev": "a18c1d424957f794a1254d7e560712749c2aeb10",
         "type": "github"
       }
     },
@@ -316,16 +316,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1724866053,
-        "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=",
+        "lastModified": 1725395202,
+        "narHash": "sha256-UCMS6H8zIjFzN4xAXdCNcW7UChAp9knpRnscTg5z+jA=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5",
+        "rev": "42e03545c319847e7df84e6fbc196b2f51c148a0",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.123",
+        "ref": "v7.1.131",
         "repo": "k",
         "type": "github"
       }
@@ -537,17 +537,17 @@
         "treefmt-nix": "treefmt-nix"
       },
       "locked": {
-        "lastModified": 1698640399,
-        "narHash": "sha256-mXzyx79/iFLZ0UDuSkqgFfejYRcSJfsCnJ9WlMusaI0=",
+        "lastModified": 1725253878,
+        "narHash": "sha256-HwXut4WbOUAjmybhui2eNSE6+Wb0nigYgDzBBOZaPG4=",
         "owner": "nix-community",
         "repo": "poetry2nix",
-        "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c",
+        "rev": "0d3fad5740d892487805cd2d60d8e4ed828486e9",
         "type": "github"
       },
       "original": {
         "owner": "nix-community",
+        "ref": "2024.9.219347",
         "repo": "poetry2nix",
-        "rev": "626111646fe236cb1ddc8191a48c75e072a82b7c",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index f1674d175d..bbab858a00 100644
--- a/flake.nix
+++ b/flake.nix
@@ -9,7 +9,7 @@
     poetry2nix.follows = "k-framework/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/300c9cf567eba4c8c88675ff67ebd859795ee169";
+        "github:runtimeverification/blockchain-k-plugin/a18c1d424957f794a1254d7e560712749c2aeb10";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
index 300c9cf567..a18c1d4249 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit 300c9cf567eba4c8c88675ff67ebd859795ee169
+Subproject commit a18c1d424957f794a1254d7e560712749c2aeb10