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

…78f5a9ff076c44b2
runtimeverification · Jan 11, 2024 · a398156 · a398156
1 parent 8319e7a
commit a398156
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 @@
-beab5ee271283834728f7204de143553468db880
+c3436bafff8ae1e5b5a66ea178f5a9ff076c44b2