deps/hs-backend-booster_release: Set Version 248f67b2c69983cdf491051e…

…c21d7b9f1316ff5a
runtimeverification · Mar 27, 2024 · 740c11a · 740c11a
1 parent 900592e
commit 740c11a
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 @@
-1653f522357cca161843a4ee812f4c1b2a524884
+248f67b2c69983cdf491051ec21d7b9f1316ff5a