diff --git a/deps/k_release b/deps/k_release
index e85246a..d30bac1 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.123
+7.1.127
diff --git a/package/version b/package/version
index 5ef49d2..013adb7 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.29
+0.1.30
diff --git a/poetry.lock b/poetry.lock
index 0d9b204..53e69ca 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -575,13 +575,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.123"
+version = "7.1.127"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.123-py3-none-any.whl", hash = "sha256:b98081331a8f1d2902df61911726c3fb80b95f7da1d330102a58dd6bd3e5c83c"},
-    {file = "kframework-7.1.123.tar.gz", hash = "sha256:9174ac133734cfa0f899088f401073e4c160cc1b6b565947a474aaa89876fe0a"},
+    {file = "kframework-7.1.127-py3-none-any.whl", hash = "sha256:b778217001a75671ec6c1c818c148cb40c52b3543962f4fe3d28df90dc81c18a"},
+    {file = "kframework-7.1.127.tar.gz", hash = "sha256:ad3db47c2fedd1e9376550e4cd714b80b4eee951b8c0fb23c4e80512036f19b2"},
 ]
 
 [package.dependencies]
@@ -1613,4 +1613,4 @@ type = ["pytest-mypy"]
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "fc542d3638d671c1074510734956fb0a9d2103583e524b42012cee462b19f6ae"
+content-hash = "7ed12d86b06ad29ece6ae2d7f7fe593f141f3997ad82ac2d8103ca66ec862e11"
diff --git a/pyproject.toml b/pyproject.toml
index 358c885..a329b51 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kriscv"
-version = "0.1.29"
+version = "0.1.30"
 description = "K tooling for the RISC-V architecture"
 authors = [
     "Runtime Verification, Inc. <contact@runtimeverification.com>",
@@ -18,7 +18,7 @@ riscv-semantics = "kriscv.kdist.plugin"
 
 [tool.poetry.dependencies]
 python = "^3.10"
-kframework = "7.1.123"
+kframework = "7.1.127"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"