deps/hs-backend-booster_release: Set Version 9f5b527d154d79ea9df209be…

…fff46ccdfc3b41d3
runtimeverification · Nov 21, 2023 · cdaf1c4 · cdaf1c4
1 parent a729ccb
commit cdaf1c4
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 @@
-62139cd3ad35defebed986ad0c169a9a0cf9e4bb
+9f5b527d154d79ea9df209befff46ccdfc3b41d3