From bf86434b3957f80fa309bc18fdc1068a547b2532 Mon Sep 17 00:00:00 2001
From: rv-jenkins <admin@runtimeverification.com>
Date: Wed, 24 Jul 2024 04:26:48 -0600
Subject: [PATCH] Update dependency: kmultiversx/src/kmultiversx/kdist/plugin
 (#311)

* kmultiversx/src/kmultiversx/kdist/plugin: Set Version 8031e7be727e903b817fff6639a9d3a4bbe82f11

* Set Version: 0.1.101

* kmultiversx/: sync poetry files 0.1.90

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

* 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 +-
 kmultiversx/poetry.lock                  | 6 +++---
 kmultiversx/pyproject.toml               | 2 +-
 kmultiversx/src/kmultiversx/kdist/plugin | 2 +-
 package/version                          | 2 +-
 7 files changed, 12 insertions(+), 12 deletions(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 854248e5..f6d0d406 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-b24fa372ca127d51cdc185e431d0ccf471980c04
+8031e7be727e903b817fff6639a9d3a4bbe82f11
diff --git a/flake.lock b/flake.lock
index 32570f28..be7a8db1 100644
--- a/flake.lock
+++ b/flake.lock
@@ -34,17 +34,17 @@
         "xbyak": "xbyak"
       },
       "locked": {
-        "lastModified": 1720022499,
-        "narHash": "sha256-sDQjr//zKKbBVIHcFg8L6Fmd51IJza5OxHcdMek7olI=",
+        "lastModified": 1721811676,
+        "narHash": "sha256-aqbA8y9/bA6UchvVW36hQRfNiojsJ+jg9nbLHw2cS+o=",
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "b24fa372ca127d51cdc185e431d0ccf471980c04",
+        "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "blockchain-k-plugin",
-        "rev": "b24fa372ca127d51cdc185e431d0ccf471980c04",
+        "rev": "8031e7be727e903b817fff6639a9d3a4bbe82f11",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index 35644c34..a02156ed 100644
--- a/flake.nix
+++ b/flake.nix
@@ -12,7 +12,7 @@
     poetry2nix.follows = "pyk/poetry2nix";
     blockchain-k-plugin = {
       url =
-        "github:runtimeverification/blockchain-k-plugin/b24fa372ca127d51cdc185e431d0ccf471980c04";
+        "github:runtimeverification/blockchain-k-plugin/8031e7be727e903b817fff6639a9d3a4bbe82f11";
       inputs.flake-utils.follows = "k-framework/flake-utils";
       inputs.nixpkgs.follows = "k-framework/nixpkgs";
     };
diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
index 120fea5d..d9db581b 100644
--- a/kmultiversx/poetry.lock
+++ b/kmultiversx/poetry.lock
@@ -527,13 +527,13 @@ zoneinfo = ["backports.zoneinfo (>=0.2.1)", "tzdata (>=2024.1)"]
 
 [[package]]
 name = "importlib-metadata"
-version = "8.0.0"
+version = "8.1.0"
 description = "Read metadata from Python packages"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "importlib_metadata-8.0.0-py3-none-any.whl", hash = "sha256:15584cf2b1bf449d98ff8a6ff1abef57bf20f3ac6454f431736cd3e660921b2f"},
-    {file = "importlib_metadata-8.0.0.tar.gz", hash = "sha256:188bd24e4c346d3f0a933f275c2fec67050326a856b9a359881d7c2a697e8812"},
+    {file = "importlib_metadata-8.1.0-py3-none-any.whl", hash = "sha256:3cd29f739ed65973840b068e3132135ce954c254d48b5b640484467ef7ab3c8c"},
+    {file = "importlib_metadata-8.1.0.tar.gz", hash = "sha256:fcdcb1d5ead7bdf3dd32657bb94ebe9d2aabfe89a19782ddc32da5041d6ebfb4"},
 ]
 
 [package.dependencies]
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
index 0a64fd59..5a07e24c 100644
--- a/kmultiversx/pyproject.toml
+++ b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.100"
+version = "0.1.101"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
diff --git a/kmultiversx/src/kmultiversx/kdist/plugin b/kmultiversx/src/kmultiversx/kdist/plugin
index b24fa372..8031e7be 160000
--- a/kmultiversx/src/kmultiversx/kdist/plugin
+++ b/kmultiversx/src/kmultiversx/kdist/plugin
@@ -1 +1 @@
-Subproject commit b24fa372ca127d51cdc185e431d0ccf471980c04
+Subproject commit 8031e7be727e903b817fff6639a9d3a4bbe82f11
diff --git a/package/version b/package/version
index 71fb8a1c..3234805d 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.100
+0.1.101