From 917e6c9e06fd11e38235782f9ed6ab63dd4c41ba Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 13 Dec 2023 11:14:21 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 6e29375d4cbcfdeddf99e98f2ba7577db0cbf963

---
 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 0fc80cae1ad..e6c8df35054 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-e39ac194845ba6d1d03037c5c13e700b06d6237e
+6e29375d4cbcfdeddf99e98f2ba7577db0cbf963