Update dependency: deps/hs-backend-booster_release (#3633)

Co-authored-by: devops <[email protected]>
Co-authored-by: Georgy Lukyanov <[email protected]>

deps/hs-backend-booster_release

@@ -1 +1 @@
-6bc7251015fb151652607cd72144ab6b9865e665
+b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe

flake.nix

@@ -2,9 +2,9 @@
   description = "K Framework";
   inputs = {
     nixpkgs.url = "nixpkgs/nixos-23.05";
-    haskell-backend.url = "github:runtimeverification/haskell-backend/0d98bc9c62969bd6b49f3f0b75a14bbb65c589ef";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/63397c713d21322434d572281c1407d929a1189e";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/6bc7251015fb151652607cd72144ab6b9865e665";
+      url = "github:runtimeverification/hs-backend-booster/b01c3d729070882be1c15ce3dc9b7ee0bbfe04fe";
       # NB booster-backend will bring in another dependency on haskell-backend,
       # but the two are not necessarily the same (different more often than not).
       # We get two transitive dependencies on haskell-nix.