diff --git a/flake.lock b/flake.lock
index a715f3613ff..8ce0ee89d29 100644
--- a/flake.lock
+++ b/flake.lock
@@ -47,17 +47,17 @@
         ]
       },
       "locked": {
-        "lastModified": 1694527394,
-        "narHash": "sha256-WXAR+teLfnfpv+nEGtinoOhS5tkmkq8hu/qlimUY8+I=",
+        "lastModified": 1694532720,
+        "narHash": "sha256-+QLxU8gkjSinRmC1sQ4C12FwFdDwY+4hq17aYVRUag4=",
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "5e0c0ce7aba1aaf8381a08fa01fce634a0f2a1d6",
+        "rev": "8aac6e3852e522867610a294f8e8b07867f120d6",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
         "repo": "hs-backend-booster",
-        "rev": "5e0c0ce7aba1aaf8381a08fa01fce634a0f2a1d6",
+        "rev": "8aac6e3852e522867610a294f8e8b07867f120d6",
         "type": "github"
       }
     },
@@ -314,11 +314,11 @@
         "systems": "systems"
       },
       "locked": {
-        "lastModified": 1692799911,
-        "narHash": "sha256-3eihraek4qL744EvQXsK1Ha6C3CR7nnT8X2qWap4RNk=",
+        "lastModified": 1694529238,
+        "narHash": "sha256-zsNZZGTGnMOf9YpHKJqMSsa0dXbfmxeoJ7xHlrt+xmY=",
         "owner": "numtide",
         "repo": "flake-utils",
-        "rev": "f9e7cf818399d17d347f847525c5a5a8032e4e44",
+        "rev": "ff7b65b44d01cf9ba6a71320833626af21126384",
         "type": "github"
       },
       "original": {