diff --git a/flake.lock b/flake.lock
index 910be3416..869e9cf9e 100644
--- a/flake.lock
+++ b/flake.lock
@@ -270,16 +270,16 @@
         "rv-utils": "rv-utils_3"
       },
       "locked": {
-        "lastModified": 1713813602,
-        "narHash": "sha256-uVLpemXFg+JFcSNSg5mP4w/LxzuoAeV2KZ5hWfKoQSI=",
+        "lastModified": 1714138940,
+        "narHash": "sha256-cLEus2gdZtzQQ2e8EzmJKNL5961vrjJkRo+g6L8tnoY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "1c1c0717c85468290b2c3faa54aae24386c7f03b",
+        "rev": "f6f7287b63e0f4c72aab49906786c426b097beaf",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.0.17",
+        "ref": "v7.0.24",
         "repo": "k",
         "type": "github"
       }
@@ -323,16 +323,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1713966107,
-        "narHash": "sha256-Do4O/pX8tBTzvC+q8xyehH53rcjEEuAhK4Dk+muNl9I=",
+        "lastModified": 1714165297,
+        "narHash": "sha256-zbBKEficm8ATnCFFbdY33SEAp1GQL6nvQcYZK5yNp4M=",
         "owner": "runtimeverification",
         "repo": "evm-semantics",
-        "rev": "d536769d08136676e4e14b809dae2d07eef6633b",
+        "rev": "68b8a41d012723f98fea3a175d3cff8012e822aa",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v1.0.535",
+        "ref": "v1.0.536",
         "repo": "evm-semantics",
         "type": "github"
       }
@@ -376,11 +376,11 @@
         ]
       },
       "locked": {
-        "lastModified": 1713537748,
-        "narHash": "sha256-/uFOoGHTItx6fDTOcTMAlp4YbXxzObWbOwYMbz1pMvM=",
+        "lastModified": 1714069584,
+        "narHash": "sha256-dWuiA+LZ0WbBXO6M5S6OmtvXAWNa2skV4zR5lOFzS1c=",
         "owner": "runtimeverification",
         "repo": "llvm-backend",
-        "rev": "7e12c1d0dfb2853ee51dee5775919b8440709ee6",
+        "rev": "347ca27220656e3b5bbfa240e505af259a3cba1d",
         "type": "github"
       },
       "original": {
@@ -532,17 +532,17 @@
       },
       "locked": {
         "dir": "pyk",
-        "lastModified": 1713813602,
-        "narHash": "sha256-uVLpemXFg+JFcSNSg5mP4w/LxzuoAeV2KZ5hWfKoQSI=",
+        "lastModified": 1714138940,
+        "narHash": "sha256-cLEus2gdZtzQQ2e8EzmJKNL5961vrjJkRo+g6L8tnoY=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "1c1c0717c85468290b2c3faa54aae24386c7f03b",
+        "rev": "f6f7287b63e0f4c72aab49906786c426b097beaf",
         "type": "github"
       },
       "original": {
         "dir": "pyk",
         "owner": "runtimeverification",
-        "ref": "v7.0.17",
+        "ref": "v7.0.24",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e6ef5a36f..49717537a 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "Kontrol";
 
   inputs = {
-    kevm.url = "github:runtimeverification/evm-semantics/v1.0.535";
+    kevm.url = "github:runtimeverification/evm-semantics/v1.0.536";
     nixpkgs.follows = "kevm/nixpkgs";
     nixpkgs-pyk.follows = "kevm/nixpkgs-pyk";
     k-framework.follows = "kevm/k-framework";