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

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

* Set Version: 1.0.628

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

* Set Version: 1.0.629

---------

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 +-
 kevm-pyk/pyproject.toml            | 2 +-
 kevm-pyk/src/kevm_pyk/__init__.py  | 2 +-
 kevm-pyk/src/kevm_pyk/kproj/plugin | 2 +-
 package/version                    | 2 +-
 5 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 187a3a38e3..854248e527 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-efad3c4f9f5a3930feeb076a3e232764c896dceb
+b24fa372ca127d51cdc185e431d0ccf471980c04
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 49a52aa010..8b722d2ab1 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kevm-pyk"
-version = "1.0.628"
+version = "1.0.629"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kevm-pyk/src/kevm_pyk/__init__.py b/kevm-pyk/src/kevm_pyk/__init__.py
index f34b5b8286..4e276e85eb 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -5,4 +5,4 @@
 if TYPE_CHECKING:
     from typing import Final
 
-VERSION: Final = '1.0.628'
+VERSION: Final = '1.0.629'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
index efad3c4f9f..b24fa372ca 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit efad3c4f9f5a3930feeb076a3e232764c896dceb
+Subproject commit b24fa372ca127d51cdc185e431d0ccf471980c04
diff --git a/package/version b/package/version
index b0fafc666e..fef1892294 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.628
+1.0.629