From d0e5705ad1c20aaea8061387d0865c2737b6e4ce Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 26 Aug 2024 17:11:28 +0000
Subject: [PATCH] deps/blockchain-k-plugin_release: sync release file version
 153c4a03f2493117467440386e549d8c748db6bf

---
 deps/blockchain-k-plugin_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/blockchain-k-plugin_release b/deps/blockchain-k-plugin_release
index 8ce33bbd..32f85e16 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-44d875a9a36b14529c0bf40e7f36dc4f23429153
+153c4a03f2493117467440386e549d8c748db6bf