diff --git a/deps/hs-backend-booster_release b/deps/hs-backend-booster_release
index 036d6edf979..8a7d01e5d8f 100644
--- a/deps/hs-backend-booster_release
+++ b/deps/hs-backend-booster_release
@@ -1 +1 @@
-f295a6a99b9cf6e8ebc33f553373fa41c1270f90
+a956edb011001aaf1296c3bbf004498427df7263
diff --git a/flake.lock b/flake.lock
index 278821f235a..426640ebd79 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1705919184,
-        "narHash": "sha256-0FxX/avC5zEPck5uPDzGEiXFviKFrSiqHfIWgzeb3pk=",
+        "lastModified": 1706100499,
+        "narHash": "sha256-h8Nr4UriQ4sq2lGT6iEsqiD0RRVXLmeLhTykgwNlFho=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "f295a6a99b9cf6e8ebc33f553373fa41c1270f90",
+        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "f295a6a99b9cf6e8ebc33f553373fa41c1270f90",
+        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
         "type": "github"
       }
     },
@@ -71,17 +71,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1704880250,
-        "narHash": "sha256-ceadOtMF3ML1Gk1gjX3lKTGN5juZ46WYBroGMBZ5AAg=",
+        "lastModified": 1706088680,
+        "narHash": "sha256-LJeonjc/QJXLHDJgmh631bTtuzs3cDzm64nH6H3AWS4=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "25f07c8b37b85bf19c8ec0894b60a51cb5e73842",
+        "rev": "de63565944540344cba242343500f1a61ece45c5",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "25f07c8b37b85bf19c8ec0894b60a51cb5e73842",
+        "rev": "de63565944540344cba242343500f1a61ece45c5",
         "type": "github"
       }
     },
diff --git a/flake.nix b/flake.nix
index dae75e78143..7fab4578500 100644
--- a/flake.nix
+++ b/flake.nix
@@ -1,9 +1,9 @@
 {
   description = "K Framework";
   inputs = {
-    haskell-backend.url = "github:runtimeverification/haskell-backend/25f07c8b37b85bf19c8ec0894b60a51cb5e73842";
+    haskell-backend.url = "github:runtimeverification/haskell-backend/de63565944540344cba242343500f1a61ece45c5";
     booster-backend = {
-      url = "github:runtimeverification/hs-backend-booster/f295a6a99b9cf6e8ebc33f553373fa41c1270f90";
+      url = "github:runtimeverification/hs-backend-booster/a956edb011001aaf1296c3bbf004498427df7263";
       inputs.nixpkgs.follows = "haskell-backend/nixpkgs";
       inputs.haskell-backend.follows = "haskell-backend";
       inputs.stacklock2nix.follows = "haskell-backend/stacklock2nix";
diff --git a/haskell-backend/src/main/native/haskell-backend b/haskell-backend/src/main/native/haskell-backend
index 25f07c8b37b..de635659445 160000
--- a/haskell-backend/src/main/native/haskell-backend
+++ b/haskell-backend/src/main/native/haskell-backend
@@ -1 +1 @@
-Subproject commit 25f07c8b37b85bf19c8ec0894b60a51cb5e73842
+Subproject commit de63565944540344cba242343500f1a61ece45c5
diff --git a/hs-backend-booster/src/main/native/hs-backend-booster b/hs-backend-booster/src/main/native/hs-backend-booster
index f295a6a99b9..a956edb0110 160000
--- a/hs-backend-booster/src/main/native/hs-backend-booster
+++ b/hs-backend-booster/src/main/native/hs-backend-booster
@@ -1 +1 @@
-Subproject commit f295a6a99b9cf6e8ebc33f553373fa41c1270f90
+Subproject commit a956edb011001aaf1296c3bbf004498427df7263