deps/hs-backend-booster_release: Set Version 60beeb07af3f89e65d116c45…

…559fc34dbc55afb3
runtimeverification · Jan 18, 2024 · 1cc1e6c · 1cc1e6c
1 parent d1eb3fe
commit 1cc1e6c
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
@@ -1 +1 @@
-d8351d2fe40e783bc7712b27bb4ce1cc6471d2de
+60beeb07af3f89e65d116c45559fc34dbc55afb3