From 9473cd91f5085ae9f050f21e0eeefb6eeddc9c99 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Fri, 29 Sep 2023 14:11:07 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 28c0a48dccd45ab343acc06eb06cb834323f4a06

---
 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 bc188d4565e..426efebc7d5 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566
+28c0a48dccd45ab343acc06eb06cb834323f4a06