From 7854d756094c3a45e352f7831251ed46ad47f6fa Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 13 Oct 2023 16:46:34 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 b80547c6b277d6b7565ab4f13b0486fff0c30de7

---
 deps/hs-backend-booster_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 70e31b8f616..ff6805fc8a7 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-5a283f7c85c5b4f66ff477b494c5d138c54706e6
+b80547c6b277d6b7565ab4f13b0486fff0c30de7