diff --git a/deps/k_release b/deps/k_release
index 614d8d16e2..73c3584b4c 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.276
+7.1.280
diff --git a/flake.lock b/flake.lock
index acaf8512dc..8453d2a2fb 100644
--- a/flake.lock
+++ b/flake.lock
@@ -310,16 +310,16 @@
         "z3": "z3_2"
       },
       "locked": {
-        "lastModified": 1751499472,
-        "narHash": "sha256-ANQpT4xXTmNRDY0CAIseLL/xDKTuLp2dSRTsp19/2mk=",
+        "lastModified": 1752802358,
+        "narHash": "sha256-pwv2jqljmGxhGMyJG5yyLo8MgfkxYniQEEcU7Zrm4LQ=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "d80129c70eb37810dfb1efd6bb05c212b97bd87f",
+        "rev": "7d84039d7be22dbc4f6ff76488deed21e23a581f",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.132",
+        "ref": "v0.1.135",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -417,16 +417,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1752676174,
-        "narHash": "sha256-2qVSTzkX9jhO4XJfMdS2c0rVCTavyUj45tMMC7hwjn8=",
+        "lastModified": 1752835635,
+        "narHash": "sha256-J0GVDFuRcq1jZ6wghuKMuahjzCkv2YRW4I0BBBCgyVw=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "76f4c3fe252cde6b615cba39a65c48cf2f2bb9c5",
+        "rev": "ea08909b72f56615ab7dfe7a6e17218b6be01de4",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.276",
+        "ref": "v7.1.280",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index e9591861c6..4d12f13343 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.276";
+    k-framework.url = "github:runtimeverification/k/v7.1.280";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     poetry2nix = {
diff --git a/kevm-pyk/poetry.lock b/kevm-pyk/poetry.lock
index beb41a4f5a..6a96effa29 100644
--- a/kevm-pyk/poetry.lock
+++ b/kevm-pyk/poetry.lock
@@ -665,14 +665,14 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.135.32"
+version = "6.136.0"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.9"
 groups = ["main"]
 files = [
-    {file = "hypothesis-6.135.32-py3-none-any.whl", hash = "sha256:d0f2bf93863f19a7af2510685dde2b89efb94eaebd3ca0b86c548cd8daa33ab0"},
-    {file = "hypothesis-6.135.32.tar.gz", hash = "sha256:b74019dc58065d806abea6292008a392bc9326b88d6a46c8cce51c9cd485af42"},
+    {file = "hypothesis-6.136.0-py3-none-any.whl", hash = "sha256:a288672440d94f9cd307e3889c4087d1f8c8b114285fcf07ae415b3c7d4a26ab"},
+    {file = "hypothesis-6.136.0.tar.gz", hash = "sha256:1d7f0b61195369c043b90484cb2948a369ff83b3584970586d5c9a6f60641625"},
 ]
 
 [package.dependencies]
@@ -801,14 +801,14 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.276"
+version = "7.1.280"
 description = ""
 optional = false
 python-versions = "~=3.10"
 groups = ["main"]
 files = [
-    {file = "kframework-7.1.276-py3-none-any.whl", hash = "sha256:4b8a42ff0510765562657c718d4db508bfa619dff91d3a0801258c33762a2b3a"},
-    {file = "kframework-7.1.276.tar.gz", hash = "sha256:5d60dc89008f7af2467272366909c95b678a8dac5a8205709711d9263a76ccdd"},
+    {file = "kframework-7.1.280-py3-none-any.whl", hash = "sha256:f7ff167f8acd0931ead9d6d53968e901c0f69f322d3f90089cf413f3e4993b1f"},
+    {file = "kframework-7.1.280.tar.gz", hash = "sha256:e63098c7eb24c936ba2ed57c9184866e0316767f898148f91a0691e341f1ab3a"},
 ]
 
 [package.dependencies]
@@ -1823,4 +1823,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.1"
 python-versions = "^3.10"
-content-hash = "20ce2ff90a06fa315ffbfd039f4d0247f7512fd89a7bfcc12d28513efba9858d"
+content-hash = "48bdf4fe8d02913c4b0180901e2eca348ffedfd6bf5aba239886087c3fedf9a4"
diff --git a/kevm-pyk/pyproject.toml b/kevm-pyk/pyproject.toml
index 16b01df063..002a4971be 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.276"
+kframework = "7.1.280"
 tomlkit = "^0.11.6"
 frozendict = "^2.4.6"