deps/hs-backend-booster_release: Set Version 303d568ed2a6bbe0b7d71d9d…

…f65b22b43b0c39ba
runtimeverification · Oct 10, 2023 · cc06035 · cc06035
1 parent acea8d7
commit cc06035
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 @@
-ec1da250a8da41dc6b9aeb7786cd4093d3584225
+303d568ed2a6bbe0b7d71d9df65b22b43b0c39ba