From 8d4519a43a68f776e0f887a376c37446d0d780e9 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Sun, 12 Nov 2023 22:49:19 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 09ea14a2196589264eba4aed1ba5d6de40bcebd4

---
 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 046a13fb0ac..98abba02192 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-175f10b16ad50dd2bb50fcfe68cbcacd79760317
+09ea14a2196589264eba4aed1ba5d6de40bcebd4