diff --git a/deps/k_release b/deps/k_release
index b27c489b..b92d30fa 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-6.2.31
+6.2.38
diff --git a/deps/kwasm_release b/deps/kwasm_release
index 845639ee..9faa1b7a 100644
--- a/deps/kwasm_release
+++ b/deps/kwasm_release
@@ -1 +1 @@
-0.1.4
+0.1.5
diff --git a/deps/pyk_release b/deps/pyk_release
index 8b7ca180..cf5006bf 100644
--- a/deps/pyk_release
+++ b/deps/pyk_release
@@ -1 +1 @@
-v0.1.635
+v0.1.645
diff --git a/deps/wasm-semantics b/deps/wasm-semantics
index c9a237ff..f65bbdc3 160000
--- a/deps/wasm-semantics
+++ b/deps/wasm-semantics
@@ -1 +1 @@
-Subproject commit c9a237fffca67c89e92c594c14484d24b0b16d77
+Subproject commit f65bbdc36aa5840f1d0bcfa51336e8694c5ff643
diff --git a/kmultiversx/poetry.lock b/kmultiversx/poetry.lock
index 7e9050ee..fc9f19a3 100644
--- a/kmultiversx/poetry.lock
+++ b/kmultiversx/poetry.lock
@@ -970,7 +970,7 @@ windows-terminal = ["colorama (>=0.4.6)"]
 
 [[package]]
 name = "pyk"
-version = "0.1.635"
+version = "0.1.645"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -991,12 +991,12 @@ xdg-base-dirs = "^6.0.1"
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/pyk.git"
-reference = "v0.1.635"
-resolved_reference = "37edac223b12f1389d5f29e402e2fca9be8c1d96"
+reference = "v0.1.645"
+resolved_reference = "e21a9ddd4e915b0ed436a8d7c1477db820f1a768"
 
 [[package]]
 name = "pykwasm"
-version = "0.1.4"
+version = "0.1.5"
 description = ""
 optional = false
 python-versions = "^3.10"
@@ -1007,13 +1007,13 @@ develop = false
 cytoolz = "^0.12.1"
 numpy = "^1.24.2"
 py-wasm = {url = "https://github.com/runtimeverification/py-wasm/archive/refs/tags/0.2.0.tar.gz"}
-pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.635"}
+pyk = {git = "https://github.com/runtimeverification/pyk.git", tag = "v0.1.645"}
 
 [package.source]
 type = "git"
 url = "https://github.com/runtimeverification/wasm-semantics.git"
-reference = "v0.1.4"
-resolved_reference = "c9a237fffca67c89e92c594c14484d24b0b16d77"
+reference = "v0.1.5"
+resolved_reference = "f65bbdc36aa5840f1d0bcfa51336e8694c5ff643"
 subdirectory = "pykwasm"
 
 [[package]]
@@ -1291,4 +1291,4 @@ testing = ["big-O", "jaraco.functools", "jaraco.itertools", "more-itertools", "p
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "9f6fc45b086d07ac108f7d290c16f3d89adcf73a76fe8019d9cc70948eb25de7"
+content-hash = "fddf4b1a1fac7d6422e7a4d486fa5f615a5781407bbb7a2636c6afff15d0cefc"
diff --git a/kmultiversx/pyproject.toml b/kmultiversx/pyproject.toml
index cc63fdc6..629b3203 100644
--- a/kmultiversx/pyproject.toml
+++ b/kmultiversx/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kmultiversx"
-version = "0.1.4"
+version = "0.1.5"
 description = "Python tools for Elrond semantics"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -12,7 +12,7 @@ authors = [
 
 [tool.poetry.dependencies]
 python = "^3.10"
-pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.4", subdirectory = "pykwasm" }
+pykwasm = { git = "https://github.com/runtimeverification/wasm-semantics.git", tag = "v0.1.5", subdirectory = "pykwasm" }
 pycryptodomex = "^3.18.0"
 hypothesis = "^6.82.6"
 
diff --git a/package/version b/package/version
index 845639ee..9faa1b7a 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.4
+0.1.5