deps/hs-backend-booster_release: Set Version 5a7fe6f6dff7b0b044183769…

…49c986bcbe652246
runtimeverification · Nov 28, 2023 · 77aaf53 · 77aaf53
1 parent 89da52e
commit 77aaf53
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 @@
-1d80b063184634fe4abaf97a647e8d951e51e406
+5a7fe6f6dff7b0b04418376949c986bcbe652246