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

…745440627b620978
runtimeverification · Jan 30, 2024 · f75fe7d · f75fe7d
1 parent 29e5767
commit f75fe7d
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 @@
-0096f93ea057a7f9af1bf26f6b013898ba76769c
+b406bd4c828bd2f14905f994745440627b620978