diff --git a/flake.lock b/flake.lock
index 426640ebd79..d3fa7840490 100644
--- a/flake.lock
+++ b/flake.lock
@@ -15,17 +15,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1706100499,
-        "narHash": "sha256-h8Nr4UriQ4sq2lGT6iEsqiD0RRVXLmeLhTykgwNlFho=",
+        "lastModified": 1706514104,
+        "narHash": "sha256-A8Jd49d9HBeth7JLFesEcZYNtXEH5bgBXCdn7gFZejs=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
+        "rev": "f4cc133f15e14ebc0ee2512361860a7b1c954522",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "a956edb011001aaf1296c3bbf004498427df7263",
+        "rev": "f4cc133f15e14ebc0ee2512361860a7b1c954522",
         "type": "github"
       }
     },
@@ -71,17 +71,17 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1706088680,
-        "narHash": "sha256-LJeonjc/QJXLHDJgmh631bTtuzs3cDzm64nH6H3AWS4=",
+        "lastModified": 1706261911,
+        "narHash": "sha256-ntTfZAkMT/F8iw2A4sC03oCR5Gt1ijqXHAIjDcQ3xhE=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "de63565944540344cba242343500f1a61ece45c5",
+        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "de63565944540344cba242343500f1a61ece45c5",
+        "rev": "3779155b609ae78c928d7b47c541b9b6ca969181",
         "type": "github"
       }
     },