diff --git a/deps/k_release b/deps/k_release
index a6190e483..33d69618b 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.83
+7.1.85
diff --git a/flake.lock b/flake.lock
index 88a28cd0b..ed1972920 100644
--- a/flake.lock
+++ b/flake.lock
@@ -67,16 +67,16 @@
         "z3": "z3"
       },
       "locked": {
-        "lastModified": 1721890597,
-        "narHash": "sha256-9UkFS+/Fv7bIwqNVzifSaH3MyI+LaTvpeZ1Oc8K0o0M=",
+        "lastModified": 1721894065,
+        "narHash": "sha256-6tpy2tMfaT9kL4TE0vOxuVHDzER3fVe0GKZmMAfJLmg=",
         "owner": "runtimeverification",
         "repo": "haskell-backend",
-        "rev": "6d3ab26f2c539cbeff152040fa1ea716df6a21ad",
+        "rev": "2792e92b66d762c955a5f65e813521d508ab43b2",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v0.1.48",
+        "ref": "v0.1.49",
         "repo": "haskell-backend",
         "type": "github"
       }
@@ -120,16 +120,16 @@
         ]
       },
       "locked": {
-        "lastModified": 1721994129,
-        "narHash": "sha256-81zECCR+5XGYCq4rTjP9+HgIVCFGwxWDXEh1nRlMi2U=",
+        "lastModified": 1722008542,
+        "narHash": "sha256-iqdX0/7LlMywxYldGRLR9nqbflNuqDWo5f/+grGVE/I=",
         "owner": "runtimeverification",
         "repo": "k",
-        "rev": "698b7841eed570f20ece3de01a2cb1c47933df16",
+        "rev": "cf865bb159c3c443bd1ad7717c6d8b3b752c05f3",
         "type": "github"
       },
       "original": {
         "owner": "runtimeverification",
-        "ref": "v7.1.83",
+        "ref": "v7.1.85",
         "repo": "k",
         "type": "github"
       }
diff --git a/flake.nix b/flake.nix
index b3ec945e9..86376fba9 100644
--- a/flake.nix
+++ b/flake.nix
@@ -2,7 +2,7 @@
   description = "K Semantics of WebAssembly";
 
   inputs = {
-    k-framework.url = "github:runtimeverification/k/v7.1.83";
+    k-framework.url = "github:runtimeverification/k/v7.1.85";
     nixpkgs.follows = "k-framework/nixpkgs";
     flake-utils.follows = "k-framework/flake-utils";
     rv-utils.follows = "k-framework/rv-utils";
diff --git a/package/version b/package/version
index e98221550..9c178d3b8 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.94
+0.1.95
diff --git a/pykwasm/poetry.lock b/pykwasm/poetry.lock
index cc0f65bbc..066761d5d 100644
--- a/pykwasm/poetry.lock
+++ b/pykwasm/poetry.lock
@@ -571,13 +571,13 @@ colors = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.83"
+version = "7.1.85"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.83-py3-none-any.whl", hash = "sha256:58e399b3f86512d9727f5933841d37073dae9d795132e2360989116e62b3ce4b"},
-    {file = "kframework-7.1.83.tar.gz", hash = "sha256:331a9c95d13f9e24bd9a8450e5e322f48b115ed2eecf4a25b58469dd68a726cb"},
+    {file = "kframework-7.1.85-py3-none-any.whl", hash = "sha256:4c4d7483cc6874337369ffca071df6ed3b46ee05e550ea057f0be8153e7fb76c"},
+    {file = "kframework-7.1.85.tar.gz", hash = "sha256:2d7c2e14a7bd561091326e41605f6056eb4da5da00f7b1348272890864971904"},
 ]
 
 [package.dependencies]
@@ -1228,4 +1228,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools",
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "cecddbd270036d930b71766401c7e4eed8c2f479859e5c561a03e7a9a24bbf79"
+content-hash = "5f31a6e192be11da5e438561f1ccfc6a787c431305ae34ac8ea1a18a9da060e8"
diff --git a/pykwasm/pyproject.toml b/pykwasm/pyproject.toml
index d85cc7643..6be97ae4c 100644
--- a/pykwasm/pyproject.toml
+++ b/pykwasm/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "pykwasm"
-version = "0.1.94"
+version = "0.1.95"
 description = ""
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -23,7 +23,7 @@ wasm-semantics = "pykwasm.kdist.plugin"
 python = "^3.10"
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
-kframework = "7.1.83"
+kframework = "7.1.85"
 py-wasm = { git = "https://github.com/runtimeverification/py-wasm.git", tag="0.2.1" }
 
 [tool.poetry.group.dev.dependencies]