From b20f5b1d123f3d031863ce19a8cf7a3e6e31c4b4 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 11 Dec 2023 12:22:46 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 be7a63182d8c165c8a4da897be5a7264bcacdf8f

---
 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 120c4cd16c7..cf89168233b 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-9469f18e3546aa4d7a77b661ed3025572b770bba
+be7a63182d8c165c8a4da897be5a7264bcacdf8f