diff --git a/flake.lock b/flake.lock
index 5700d98865b..12fb95e5f36 100644
--- a/flake.lock
+++ b/flake.lock
@@ -47,17 +47,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1695839205,
-        "narHash": "sha256-9USUlWcL4YOseMJdQ1h4XvihR4/FG5zykykI7eY/13A=",
+        "lastModified": 1695996185,
+        "narHash": "sha256-cgCgzXHCQ7j2m5E8jnT/JLysJkOkG2fJBA/WVLGqcZg=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566",
+        "rev": "28c0a48dccd45ab343acc06eb06cb834323f4a06",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "6c2f5ab988e2c5f98b1cdeb04b8a5787d8a7c566",
+        "rev": "28c0a48dccd45ab343acc06eb06cb834323f4a06",
         "type": "github"
       }
     },
@@ -439,17 +439,17 @@
         "z3-src": "z3-src"
       },
       "locked": {
-        "lastModified": 1695129967,
-        "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=",
+        "lastModified": 1695315789,
+        "narHash": "sha256-GCGWVK7PM1iuQBkRJnf1OKLjfBjdC4xdJG3o1RalUC8=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "63397c713d21322434d572281c1407d929a1189e",
+        "rev": "96545095d33235f3e8c91da7981cf28abbcdc679",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "85b5d086840a0f1e89499f086b50d7258598fc8b",
+        "rev": "96545095d33235f3e8c91da7981cf28abbcdc679",
         "type": "github"
       }
     },
@@ -465,17 +465,17 @@
         "z3-src": "z3-src_2"
       },
       "locked": {
-        "lastModified": 1695129967,
-        "narHash": "sha256-wLMrn/a10zH3Zvl+ln2Z37b8n4c013i+udkKfFf61Eg=",
+        "lastModified": 1695315789,
+        "narHash": "sha256-GCGWVK7PM1iuQBkRJnf1OKLjfBjdC4xdJG3o1RalUC8=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "63397c713d21322434d572281c1407d929a1189e",
+        "rev": "96545095d33235f3e8c91da7981cf28abbcdc679",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "63397c713d21322434d572281c1407d929a1189e",
+        "rev": "96545095d33235f3e8c91da7981cf28abbcdc679",
         "type": "github"
       }
     },
@@ -1227,11 +1227,11 @@
     },
     "nixpkgs_5": {
       "locked": {
-        "lastModified": 1695559356,
-        "narHash": "sha256-kXZ1pUoImD9OEbPCwpTz4tHsNTr4CIyIfXb3ocuR8sI=",
+        "lastModified": 1695825837,
+        "narHash": "sha256-4Ne11kNRnQsmSJCRSSNkFRSnHC4Y5gPDBIQGjjPfJiU=",
         "owner": "NixOS",
         "repo": "nixpkgs",
-        "rev": "261abe8a44a7e8392598d038d2e01f7b33cf26d0",
+        "rev": "5cfafa12d57374f48bcc36fda3274ada276cf69e",
         "type": "github"
       },
       "original": {