From 96cf7e15bbe4e3481d70736d03c55ba754582111 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Thu, 29 Aug 2024 06:29:10 -0600
Subject: [PATCH] Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2600)
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

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

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

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

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
Co-authored-by: Andrei Văcaru <16517508+anvacaru@users.noreply.github.com>
---
 deps/blockchain-k-plugin_release   |  2 +-
 flake.lock                         | 16 ++++++++--------
 flake.nix                          |  2 +-
 kevm-pyk/src/kevm_pyk/kproj/plugin |  2 +-
 4 files changed, 11 insertions(+), 11 deletions(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 734ff31069..046ce7b641 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-69fdf830e3a98a8aa1118f84bd83723f1149468e
+300c9cf567eba4c8c88675ff67ebd859795ee169
diff --git a/flake.lock b/flake.lock
index f0c5f34bad..a9157bb299 100644
--- a/flake.lock
+++ b/flake.lock
@@ -45,17 +45,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1724770888,
-        "narHash": "sha256-FZG6Cag4J7uWzKQztEXfPC5mLV6v68h3G9r9BWTdimQ=",
+        "lastModified": 1724870545,
+        "narHash": "sha256-OVT3nyAQI59zQSALEOazE8q7WYRyDc7SbL7ilMAPjHc=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "69fdf830e3a98a8aa1118f84bd83723f1149468e",
+        "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "69fdf830e3a98a8aa1118f84bd83723f1149468e",
+        "rev": "300c9cf567eba4c8c88675ff67ebd859795ee169",
         "type": "github"
       }
     },
@@ -334,16 +334,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1724766177,
-        "narHash": "sha256-P/Pi+bDJqd2FAHp6xR2MVY5kZ4qzfrJ0YTvVFRo/etk=",
+        "lastModified": 1724866053,
+        "narHash": "sha256-NtHMCcG5pRszS7+vSrwGDE8B3QoW7+JxbVYaxxwZ+Zw=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "809d59eb819dcb14ac5fb0eb9abe1c05eae38fde",
+        "rev": "85c8bcbea25dcef0945ed3ece01bdd8bb7a946a5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.122",
+        "ref": "v7.1.123",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 5dad3731d7..8ba069ece3 100644
--- a/flake.nix
+++ b/flake.nix
@@ -11,7 +11,7 @@
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/69fdf830e3a98a8aa1118f84bd83723f1149468e";
+        "github:runtimeverification/blockchain-k-plugin/300c9cf567eba4c8c88675ff67ebd859795ee169";
       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 69fdf830e3..300c9cf567 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit 69fdf830e3a98a8aa1118f84bd83723f1149468e
+Subproject commit 300c9cf567eba4c8c88675ff67ebd859795ee169