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

* kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version 8031e7be727e903b817fff6639a9d3a4bbe82f11 * Set Version: 1.0.652 * deps/blockchain-k-plugin_release: sync release file version 8031e7be727e903b817fff6639a9d3a4bbe82f11 * kevm-pyk/src/kevm_pyk/kproj/plugin: Set Version f4c41bfa5e44f5bc29e5d9151557ce735bcde087 * kevm-pyk/: sync poetry files pyk version 7.1.77 * deps/blockchain-k-plugin_release: sync release file version f4c41bfa5e44f5bc29e5d9151557ce735bcde087 * Set Version: 1.0.653 * Set Version: 1.0.654 --------- Co-authored-by: devops <[email protected]> Co-authored-by: Andrei Văcaru <[email protected]>
runtimeverification · Jul 25, 2024 · f227fe5 · f227fe5
1 parent ba8be1a
commit f227fe5
Show file tree

Hide file tree

Showing 5 changed files with 5 additions and 5 deletions.
diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-b24fa372ca127d51cdc185e431d0ccf471980c04
+f4c41bfa5e44f5bc29e5d9151557ce735bcde087
diff --git 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.653"
+version = "1.0.654"
 description = ""
 authors = [
     "Runtime Verification, Inc. <[email protected]>",

diff --git 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.653'
+VERSION: Final = '1.0.654'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
diff --git a/package/version b/package/version
@@ -1 +1 @@
-1.0.653
+1.0.654
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		b24fa372ca127d51cdc185e431d0ccf471980c04
		f4c41bfa5e44f5bc29e5d9151557ce735bcde087
+1 −1		deps/k_release
+156 −110		krypto/poetry.lock
+1 −1		krypto/pyproject.toml