diff --git a/deps/k_release b/deps/k_release
index 42510b541..91bf89b50 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.321
+7.1.322
diff --git a/flake.lock b/flake.lock
index a4732139b..7455070d5 100644
--- a/flake.lock
+++ b/flake.lock
@@ -120,16 +120,16 @@
         "uv2nix": "uv2nix"
       },
       "locked": {
-        "lastModified": 1778173329,
-        "narHash": "sha256-cIfZEYHdDPg3fMVJRN0BIk6G8S1flNQIXUYtxg7DKA8=",
+        "lastModified": 1778261905,
+        "narHash": "sha256-J6Pci+TA9h1CQZVfFMn63QRlepPtqQnDJgktgl/C00Q=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "7e6c4b59e4e1765ceadeac289705aa90d4a7f361",
+        "rev": "c41cb6d305c6eb116f061d588e06c17e2842d848",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.321",
+        "ref": "v7.1.322",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index 8c6ae227b..9814f6abd 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.321";
+    k-framework.url = "github:runtimeverification/k/v7.1.322";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
 
     flake-utils.follows = "k-framework/flake-utils";
diff --git a/package/version b/package/version
index 611234586..c64f02bbc 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.152
+0.1.153
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index 76c199295..bafc9458f 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "pykwasm"
-version = "0.1.152"
+version = "0.1.153"
 description = ""
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework>=7.1.321",
+    "kframework>=7.1.322",
     "py-wasm@git+https://github.com/runtimeverification/py-wasm.git@0.3.0"
 ]
 
diff --git a/pykwasm/uv.lock b/pykwasm/uv.lock
index eda451fa4..d051f7a14 100644
--- a/pykwasm/uv.lock
+++ b/pykwasm/uv.lock
@@ -651,7 +651,7 @@ wheels = [
 
 [[package]]
 name = "kframework"
-version = "7.1.321"
+version = "7.1.322"
 source = { registry = "https://pypi.org/simple" }
 dependencies = [
     { name = "coloredlogs" },
@@ -670,9 +670,9 @@ dependencies = [
     { name = "tomli-w" },
     { name = "xdg-base-dirs" },
 ]
-sdist = { url = "https://files.pythonhosted.org/packages/61/5c/de8dddf1552eb95f3f2bb283499af0eaf4d8ed1a9f750d4375e290fe4480/kframework-7.1.321.tar.gz", hash = "sha256:d056e7f9c1b442a4f143d3ed7f7629ef34276963c467143b58c17e270b0e4ab7", size = 244812, upload-time = "2026-05-07T18:23:57.104Z" }
+sdist = { url = "https://files.pythonhosted.org/packages/68/95/c88d24c8e018493896267d2d053fd21bd3a0495d03b8a5781206284b618d/kframework-7.1.322.tar.gz", hash = "sha256:4587cfed2c0a737a23269a937f831f49a3dcf59f062d15e14c79dbc63233f95e", size = 245321, upload-time = "2026-05-08T18:39:12.977Z" }
 wheels = [
-    { url = "https://files.pythonhosted.org/packages/4c/07/f1f29ff9377c6e7e2b479772770c97b472a919fa75e3cadab433b5999672/kframework-7.1.321-py3-none-any.whl", hash = "sha256:838122242865d3e6278ebb76b0cfb7c7724e4eca41ca297f26b52336f63d14f8", size = 296405, upload-time = "2026-05-07T18:23:55.505Z" },
+    { url = "https://files.pythonhosted.org/packages/c1/1c/af31f1203f86b362ab647b2c106d2869a252d54913a1ceb9ab5efe24e7c1/kframework-7.1.322-py3-none-any.whl", hash = "sha256:1acbfe008f3d46418c24dc4c231f7bf388e65a0a110cea5cb05b1b99e05cbf5a", size = 296933, upload-time = "2026-05-08T18:39:11.446Z" },
 ]
 
 [[package]]
@@ -1140,7 +1140,7 @@ wheels = [
 
 [[package]]
 name = "pykwasm"
-version = "0.1.152"
+version = "0.1.153"
 source = { editable = "." }
 dependencies = [
     { name = "kframework" },
@@ -1168,7 +1168,7 @@ dev = [
 
 [package.metadata]
 requires-dist = [
-    { name = "kframework", specifier = ">=7.1.321" },
+    { name = "kframework", specifier = ">=7.1.322" },
     { name = "py-wasm", git = "https://github.com/runtimeverification/py-wasm.git?rev=0.3.0" },
 ]