From 59b6cacaf0db8d8dd727f3fc9727ec74a7f0354d Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 22 Nov 2023 10:31:52 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 8655415982bac2252ac07e5ce90b80a89d7151fe

---
 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 924f4725d81..ba860bedcfd 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-9f5b527d154d79ea9df209befff46ccdfc3b41d3
+8655415982bac2252ac07e5ce90b80a89d7151fe