diff --git a/flake.lock b/flake.lock
index 8a50c8a2b16..dbbd48de0a7 100644
--- a/flake.lock
+++ b/flake.lock
@@ -106,6 +106,7 @@
       "inputs": {
         "fmt-src": "fmt-src",
         "immer-src": "immer-src",
+        "mavenix": "mavenix",
         "nixpkgs": [
           "haskell-backend",
           "nixpkgs"
@@ -117,11 +118,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1702201420,
-        "narHash": "sha256-Fvf7+Jv4bRLptUda1lLNArisuacp2rLrYswsUbTEzbc=",
+        "lastModified": 1702382612,
+        "narHash": "sha256-17OLncfYFb8PBv4eLT3GBpb5bUsw3RywxLfBv6AAzSA=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "e8c7319292ad82f7ca93e0faa4aa99656104cc17",
+        "rev": "eeccaebaed784a40f17971bf9f1028b07c510537",
         "type": "github"
       },
       "original": {
@@ -130,6 +131,25 @@
         "type": "github"
       }
     },
+    "mavenix": {
+      "inputs": {
+        "nixpkgs": "nixpkgs_2",
+        "utils": "utils"
+      },
+      "locked": {
+        "lastModified": 1643802645,
+        "narHash": "sha256-BynM25iwp/l3FyrcHqiNJdDxvN6IxSM3/zkFR6PD3B0=",
+        "owner": "nix-community",
+        "repo": "mavenix",
+        "rev": "ce9ddfd7f361190e8e8dcfaf6b8282eebbb3c7cb",
+        "type": "github"
+      },
+      "original": {
+        "owner": "nix-community",
+        "repo": "mavenix",
+        "type": "github"
+      }
+    },
     "nixpkgs": {
       "locked": {
         "lastModified": 1696983906,
@@ -145,6 +165,20 @@
         "type": "indirect"
       }
     },
+    "nixpkgs_2": {
+      "locked": {
+        "lastModified": 1621552131,
+        "narHash": "sha256-AD/AEXv+QOYAg0PIqMYv2nbGOGTIwfOGKtz3rE+y+Tc=",
+        "owner": "NixOS",
+        "repo": "nixpkgs",
+        "rev": "d42cd445dde587e9a993cd9434cb43da07c4c5de",
+        "type": "github"
+      },
+      "original": {
+        "id": "nixpkgs",
+        "type": "indirect"
+      }
+    },
     "pybind11-src": {
       "flake": false,
       "locked": {
@@ -237,6 +271,21 @@
         "type": "github"
       }
     },
+    "utils": {
+      "locked": {
+        "lastModified": 1620759905,
+        "narHash": "sha256-WiyWawrgmyN0EdmiHyG2V+fqReiVi8bM9cRdMaKQOFg=",
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "rev": "b543720b25df6ffdfcf9227afafc5b8c1fabfae8",
+        "type": "github"
+      },
+      "original": {
+        "owner": "numtide",
+        "repo": "flake-utils",
+        "type": "github"
+      }
+    },
     "z3": {
       "flake": false,
       "locked": {