From 83565e35f26b1267b14be868d330653c430ad5db Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Thu, 7 Dec 2023 16:49:20 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 c841bfa5f9d3be884efae5c3ea7bacb4f3e24e40

---
 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 3bfec1e3c05..4f95aab6e81 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-7fa64107dbe26453024e5210d441b7999ef31f0b
+c841bfa5f9d3be884efae5c3ea7bacb4f3e24e40