diff --git a/deps/k_release b/deps/k_release
index 715fb9f0ee..0fc5d288c1 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.143
+7.1.145
diff --git a/flake.lock b/flake.lock
index 52c143be81..54579d1776 100644
--- a/flake.lock
+++ b/flake.lock
@@ -352,16 +352,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1726586819,
-        "narHash": "sha256-0/NKFZ76IfIJJG2CpXttyi3fdeQ6VQDFGESCbUEnFOg=",
+        "lastModified": 1726685098,
+        "narHash": "sha256-FVCrOS4IAlA08ZiYlmaSdrLoYFmSd7UFiJem/Zg2C8o=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "833c71ebb06ce32dd26bf36cccd0fdcbf4ef0f02",
+        "rev": "c418935015dba62f29b9ada1a55b710126385ab6",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.143",
+        "ref": "v7.1.145",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e7728dd862..e3edeeb685 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "A flake for the KEVM Semantics";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.143";
+    k-framework.url = "github:runtimeverification/k/v7.1.145";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index 6bc9d56563..1a887b30dc 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -505,13 +505,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.143"
+version = "7.1.145"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.143-py3-none-any.whl", hash = "sha256:69db516b0e86c039c7c979f4d784ac17a4643776f9ac62ed14d07979e89d4bb4"},
-    {file = "kframework-7.1.143.tar.gz", hash = "sha256:af1dc36428b1700e529f52c00ab0fdab485bc12078da2fb2785576a11a93be0e"},
+    {file = "kframework-7.1.145-py3-none-any.whl", hash = "sha256:a9107a75d25906200db2510ccb931358b8b50eb5bbd0f60680d50ace994baa19"},
+    {file = "kframework-7.1.145.tar.gz", hash = "sha256:2e6254450247ab79227fef430d3824076a377a8ec2a7648b8274c2e403d91938"},
 ]
 
 [package.dependencies]
@@ -1195,4 +1195,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "ffe258b8520326296c1732dd2118198a3e70d9ebd4435b6f60e0b8598a7490c7"
+content-hash = "3e2f97ce725e1d4e33b80df5e63f959a824db55e3d3c60767d492703e5176472"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 9a94d64d17..437a052e97 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -13,7 +13,7 @@ authors = [
 [tool.poetry.dependencies]
 python = "^3.10"
 pathos = "*"
-kframework = "7.1.143"
+kframework = "7.1.145"
 tomlkit = "^0.11.6"
 
 [tool.poetry.group.dev.dependencies]