From 7c27cbea9f99aee1773a49b1f729af6eddb66030 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Mon, 2 Oct 2023 04:42:17 -0600
Subject: [PATCH] Update dependency: kevm-pyk/src/kevm_pyk/kproj/plugin (#2100)

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

* Set Version: 1.0.309

* kevm-pyk/: sync poetry files pyk version v0.1.448

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

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

---------

Co-authored-by: devops <devops@runtimeverification.com>
---
 deps/blockchain-k-plugin_release   |  2 +-
 flake.lock                         |  8 ++++----
 flake.nix                          |  2 +-
 kevm-pyk/poetry.lock               | 12 ++++++------
 kevm-pyk/pyproject.toml            |  2 +-
 kevm-pyk/src/kevm_pyk/__init__.py  |  2 +-
 kevm-pyk/src/kevm_pyk/kproj/plugin |  2 +-
 package/version                    |  2 +-
 8 files changed, 16 insertions(+), 16 deletions(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 9d4ad37596..fdd690bc92 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-da834be67f6c0aff11140ddfc0b04561494c14b8
+c095983f3aec21c52f00b2d433202052ad7db104
diff --git a/flake.lock b/flake.lock
index 92726bfef0..a69ba17653 100644
--- a/flake.lock
+++ b/flake.lock
@@ -67,17 +67,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1689159696,
-        "narHash": "sha256-dGICJl8YAWXjpjeY1rcRMLyWka3kMZmW74B6q3gvrhQ=",
+        "lastModified": 1696084865,
+        "narHash": "sha256-0db01iMbkwUgOHI+ZiR1GiwLkL2turGOPH3oSkp4Eq0=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8",
+        "rev": "c095983f3aec21c52f00b2d433202052ad7db104",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "da834be67f6c0aff11140ddfc0b04561494c14b8",
+        "rev": "c095983f3aec21c52f00b2d433202052ad7db104",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 926d6eafb6..d807d917ba 100644
--- a/flake.nix
+++ b/flake.nix
@@ -9,7 +9,7 @@
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.url = "github:runtimeverification/rv-nix-tools";
     poetry2nix.follows = "pyk/poetry2nix";
-    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/da834be67f6c0aff11140ddfc0b04561494c14b8";
+    blockchain-k-plugin.url = "github:runtimeverification/blockchain-k-plugin/c095983f3aec21c52f00b2d433202052ad7db104";
     blockchain-k-plugin.inputs.flake-utils.follows = "k-framework/flake-utils";
     blockchain-k-plugin.inputs.nixpkgs.follows = "k-framework/nixpkgs";
     ethereum-tests.url = "github:ethereum/tests/6401889dec4eee58e808fd178fb2c7f628a3e039";
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index a7c94d8cec..8eca4ee11a 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -941,13 +941,13 @@ tokenize-rt = ">=5.2.0"
 
 [[package]]
 name = "rich"
-version = "13.5.3"
+version = "13.6.0"
 description = "Render rich text, tables, progress bars, syntax highlighting, markdown and more to the terminal"
 optional = false
 python-versions = ">=3.7.0"
 files = [
-    {file = "rich-13.5.3-py3-none-any.whl", hash = "sha256:9257b468badc3d347e146a4faa268ff229039d4c2d176ab0cffb4c4fbc73d5d9"},
-    {file = "rich-13.5.3.tar.gz", hash = "sha256:87b43e0543149efa1253f485cd845bb7ee54df16c9617b8a893650ab84b4acb6"},
+    {file = "rich-13.6.0-py3-none-any.whl", hash = "sha256:2b38e2fe9ca72c9a00170a1a2d20c63c790d0e10ef1fe35eba76e1e7b1d7d245"},
+    {file = "rich-13.6.0.tar.gz", hash = "sha256:5c14d22737e6d5084ef4771b62d5d4363165b403455a30a1c8ca39dc7b644bef"},
 ]
 
 [package.dependencies]
@@ -1037,13 +1037,13 @@ test = ["coverage", "pytest", "pytest-cov"]
 
 [[package]]
 name = "wcwidth"
-version = "0.2.6"
+version = "0.2.8"
 description = "Measures the displayed width of unicode strings in a terminal"
 optional = false
 python-versions = "*"
 files = [
-    {file = "wcwidth-0.2.6-py2.py3-none-any.whl", hash = "sha256:795b138f6875577cd91bba52baf9e445cd5118fd32723b460e30a0af30ea230e"},
-    {file = "wcwidth-0.2.6.tar.gz", hash = "sha256:a5220780a404dbe3353789870978e472cfe477761f06ee55077256e509b156d0"},
+    {file = "wcwidth-0.2.8-py2.py3-none-any.whl", hash = "sha256:77f719e01648ed600dfa5402c347481c0992263b81a027344f3e1ba25493a704"},
+    {file = "wcwidth-0.2.8.tar.gz", hash = "sha256:8705c569999ffbb4f6a87c6d1b80f324bd6db952f5eb0b95bc07517f4c1813d4"},
 ]
 
 [[package]]
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index fe9059258c..13a3cb915d 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.308"
+version = "1.0.309"
 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 d8d62791fa..a56fa043b1 100644
--- a/kevm-pyk/src/kevm_pyk/__init__.py
+++ b/kevm-pyk/src/kevm_pyk/__init__.py
@@ -6,4 +6,4 @@
     from typing import Final
 
 
-VERSION: Final = '1.0.308'
+VERSION: Final = '1.0.309'
diff --git a/kevm-pyk/src/kevm_pyk/kproj/plugin b/kevm-pyk/src/kevm_pyk/kproj/plugin
index da834be67f..c095983f3a 160000
--- a/kevm-pyk/src/kevm_pyk/kproj/plugin
+++ b/kevm-pyk/src/kevm_pyk/kproj/plugin
@@ -1 +1 @@
-Subproject commit da834be67f6c0aff11140ddfc0b04561494c14b8
+Subproject commit c095983f3aec21c52f00b2d433202052ad7db104
diff --git a/package/version b/package/version
index 7b64a80cde..fcb1b3a84a 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-1.0.308
+1.0.309