From a6f073a89de4d55a4410f2d81b1f91de1a0a902d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 10 Feb 2025 08:31:13 +0000
Subject: [PATCH] deps/blockchain-k-plugin_release: sync release file version
 ed8437b23508e5ba64416b2f647a7aa3e703266d

---
 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 d25cbd14..d038166c 100644
--- a/deps/blockchain-k-plugin_release
+++ b/deps/blockchain-k-plugin_release
@@ -1 +1 @@
-759ce7f63b19336753206f436e565bc79cf5adc8
+ed8437b23508e5ba64416b2f647a7aa3e703266d