From 1a626adb3b6a69c9dd7699a3295f371119be012a Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Mon, 20 Nov 2023 13:38:14 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 62139cd3ad35defebed986ad0c169a9a0cf9e4bb

---
 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 d7eb61eb0e8..75dbf15d9ff 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-27ac540350a63ecbf2bb87665f022fdbf33ae5bb
+62139cd3ad35defebed986ad0c169a9a0cf9e4bb