deps/hs-backend-booster_release: Set Version 28c0a48dccd45ab343acc06e…

…b06cb834323f4a06
runtimeverification · Sep 29, 2023 · 9473cd9 · 9473cd9
1 parent 9ddff9d
commit 9473cd9
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 @@
-6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566
+28c0a48dccd45ab343acc06eb06cb834323f4a06