From 7019569b39fbb55c8ddf92f109571c21de280d96 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 8 Nov 2023 22:39:08 +0000
Subject: [PATCH] deps/hs-backend-booster_release: Set Version
 15a3ef263550d3e9e9c58172de64ed3a06242259

---
 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 7be23be1bf6..944bcbc6fde 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-15a9fc41edcf6b22730f37e77a3e29acb2ae3601
+15a3ef263550d3e9e9c58172de64ed3a06242259