deps/hs-backend-booster_release: Set Version be7a63182d8c165c8a4da897…

…be5a7264bcacdf8f
runtimeverification · Dec 11, 2023 · b20f5b1 · b20f5b1
1 parent 687da9d
commit b20f5b1
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 @@
-9469f18e3546aa4d7a77b661ed3025572b770bba
+be7a63182d8c165c8a4da897be5a7264bcacdf8f