From cdaf1c497209947fd43a715f074fc0eff51eee29 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Tue, 21 Nov 2023 15:18:26 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 9f5b527d154d79ea9df209befff46ccdfc3b41d3

---
 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 75dbf15d9ff..924f4725d81 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-62139cd3ad35defebed986ad0c169a9a0cf9e4bb
+9f5b527d154d79ea9df209befff46ccdfc3b41d3