deps/hs-backend-booster_release: Set Version 8655415982bac2252ac07e5c…

…e90b80a89d7151fe
runtimeverification · Nov 22, 2023 · 59b6cac · 59b6cac
1 parent 623264d
commit 59b6cac
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 @@
-9f5b527d154d79ea9df209befff46ccdfc3b41d3
+8655415982bac2252ac07e5ce90b80a89d7151fe