From ef5793255e011090e2996b2994d2db749c1e702e Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 20 Dec 2023 22:47:32 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 4a693bc0d0fd983a2def0f71abb9f7bf69daea59

---
 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 e054723c767..7018b201dc6 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-c6edfad1aa4c085e2cc2978c6d7cdc885157b0fb
+4a693bc0d0fd983a2def0f71abb9f7bf69daea59