deps/hs-backend-booster_release: Set Version 27ac540350a63ecbf2bb8766…

…5f022fdbf33ae5bb
runtimeverification · Nov 20, 2023 · c1c3284 · c1c3284
1 parent ca40472
commit c1c3284
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 @@
-7dc19651ef215e836d08f0b06da30ee414460646
+27ac540350a63ecbf2bb87665f022fdbf33ae5bb