deps/hs-backend-booster_release: Set Version 65c2d7c7c35f100a67f218b3…

…1e54d3956009349f
runtimeverification · Dec 20, 2023 · 4e8b770 · 4e8b770
1 parent 5426fc2
commit 4e8b770
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 @@
-4ab3fc365696125d4d87c86bed9c766d90b2e7ae
+65c2d7c7c35f100a67f218b31e54d3956009349f