deps/hs-backend-booster_release: Set Version 04b25dd62265842d20fe6c60…

…34f7ad0798b85f4f
runtimeverification · Jan 15, 2024 · 39fc3be · 39fc3be
1 parent 8dd3c36
commit 39fc3be
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 @@
-4948a2f3c7ae917d21ae301587e0452ebe865f37
+04b25dd62265842d20fe6c6034f7ad0798b85f4f