From cd2df225000238761f6ae60db546dfe123a41860 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 1 Oct 2025 13:01:06 +0000
Subject: [PATCH 1/3] deps/k_release: Set Version 7.1.289

---
 deps/k_release | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deps/k_release b/deps/k_release
index 6d96fbf083..5cfdcafeb6 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.288
+7.1.289

From 61ccad6f5c264e9bf3e56014ee6ab20eefff1d07 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 1 Oct 2025 13:01:47 +0000
Subject: [PATCH 2/3] kevm-pyk/: sync uv files pyk version 7.1.289

---
 kevm-pyk/pyproject.toml | 2 +-
 kevm-pyk/uv.lock        | 8 ++++----
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 7b97548200..12d5217f75 100644
--- a/kevm-pyk/pyproject.toml
+++ b/kevm-pyk/pyproject.toml
@@ -10,7 +10,7 @@ readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
     "frozendict>=2.4.6,<3",
-    "kframework==7.1.288",
+    "kframework==7.1.289",
     "pathos",
     "tomlkit>=0.11.6",
 ]
diff --git a/kevm-pyk/uv.lock b/kevm-pyk/uv.lock
index 38f6bd2814..95d8a314e0 100644
--- a/kevm-pyk/uv.lock
+++ b/kevm-pyk/uv.lock
@@ -562,7 +562,7 @@ dev = [
 [package.metadata]
 requires-dist = [
     { name = "frozendict", specifier = ">=2.4.6,<3" },
-    { name = "kframework", specifier = "==7.1.288" },
+    { name = "kframework", specifier = "==7.1.289" },
     { name = "pathos" },
     { name = "tomlkit", specifier = ">=0.11.6" },
 ]
@@ -588,7 +588,7 @@ dev = [
 
 [[package]]
 name = "kframework"
-version = "7.1.288"
+version = "7.1.289"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -605,9 +605,9 @@ dependencies = [
     { name = "tomli" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/ce/03/7ccd18f17c7d2f9b5b37041592e2e36b7dc054a0fecb05e8c39a4bcecf15/kframework-7.1.288.tar.gz", hash = "sha256:e08e5ee2821b8c8bb7da8871c8ef1e77fad3b5c2d1a6eaa5e08879f970f4c0ed", size = 242925, upload-time = "2025-09-18T05:48:02.013Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/62/94/c9eb33d5facd51e576b91571b858860e4187bfb41804398c261d45b0cf71/kframework-7.1.289.tar.gz", hash = "sha256:66b97e7738261f1484521ad91950c4011bfd3d13e4a90f5d49fcbd525e69fbb4", size = 242939, upload-time = "2025-10-01T13:00:28.326Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/fd/c5/64c539ea000ce6bdea700e0774d67d8506123ac046ee81d7eb8a7ce9a9ba/kframework-7.1.288-py3-none-any.whl", hash = "sha256:0b922c332550e9b50e70d0f34a89ed5dd281df8ddbb04ee883de7d089cf3b272", size = 294117, upload-time = "2025-09-18T05:48:00.422Z" },
+    { url = "https://files.pythonhosted.org/packages/72/3c/55c8cc40f358e7975e4511c458b0187dd288bb8e095f53fda3721c994b5f/kframework-7.1.289-py3-none-any.whl", hash = "sha256:68c1c776d951262b09e60f12d62c76158765254e0a4310a46f934481f837b30c", size = 294139, upload-time = "2025-10-01T13:00:25.316Z" },
 ]
 
 [[package]]

From 22f51a1772fbe891ab930e79ff54d60ed16f0684 Mon Sep 17 00:00:00 2001
From: devops <devops@runtimeverification.com>
Date: Wed, 1 Oct 2025 13:02:58 +0000
Subject: [PATCH 3/3] flake.{nix,lock}: update Nix derivations

---
 flake.lock | 8 ++++----
 flake.nix  | 2 +-
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/flake.lock b/flake.lock
index edf8dccefc..abef9a6acd 100644
--- a/flake.lock
+++ b/flake.lock
@@ -399,16 +399,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1758173229,
-        "narHash": "sha256-h/Alhkrh0AXdk+BDrqiskADMwQU9zOcZ8p1wpAOVMBA=",
+        "lastModified": 1759321874,
+        "narHash": "sha256-O0BUrkOD/7onSYGu1kQrq6SXAHjEBNhcPcqxtCfGzPA=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "62ce121afe7221670ed089097c44b3284531751f",
+        "rev": "df7e11d71062ae3bf2dd8ebfd26776d0568915ca",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.288",
+        "ref": "v7.1.289",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 4cbebdc9a7..0396926ee0 100644
--- a/flake.nix
+++ b/flake.nix
@@ -5,7 +5,7 @@
     rv-nix-tools.url = "github:runtimeverification/rv-nix-tools/854d4f05ea78547d46e807b414faad64cea10ae4";
     nixpkgs.follows = "rv-nix-tools/nixpkgs";
 
-    k-framework.url = "github:runtimeverification/k/v7.1.288";
+    k-framework.url = "github:runtimeverification/k/v7.1.289";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     blockchain-k-plugin = {