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

…6d7cdc885157b0fb
runtimeverification · Dec 20, 2023 · 2ede078 · 2ede078
1 parent 4770b25
commit 2ede078
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 @@
-65c2d7c7c35f100a67f218b31e54d3956009349f
+c6edfad1aa4c085e2cc2978c6d7cdc885157b0fb