diff --git a/deps/k_release b/deps/k_release
index 52ba32ee..bc73db06 100644
--- a/deps/k_release
+++ b/deps/k_release
@@ -1 +1 @@
-7.1.99
+7.1.102
diff --git a/package/version b/package/version
index 001d7528..5a48b6be 100644
--- a/package/version
+++ b/package/version
@@ -1 +1 @@
-0.1.23
+0.1.24
diff --git a/poetry.lock b/poetry.lock
index e1904cff..6f415e72 100644
--- a/poetry.lock
+++ b/poetry.lock
@@ -481,13 +481,13 @@ pyreadline3 = {version = "*", markers = "sys_platform == \"win32\" and python_ve
 
 [[package]]
 name = "hypothesis"
-version = "6.110.0"
+version = "6.110.1"
 description = "A library for property-based testing"
 optional = false
 python-versions = ">=3.8"
 files = [
-    {file = "hypothesis-6.110.0-py3-none-any.whl", hash = "sha256:976200b4c0b3e315c04bf33e1bc176054dd07ff40ef2c7f4129768a50aca9753"},
-    {file = "hypothesis-6.110.0.tar.gz", hash = "sha256:fc1bd11cb913e83451d2cff3876ad771ab909d64b854a068d47cb4e6f53f2b0c"},
+    {file = "hypothesis-6.110.1-py3-none-any.whl", hash = "sha256:4b54a4ed3385c53b247b99e7b3c9630e7b665ef3cfdb2c557dd1c0b34d090481"},
+    {file = "hypothesis-6.110.1.tar.gz", hash = "sha256:a138bfaea11aba6daadf8effd9065251a6fec1549f25b7d72ac9881a413f76b0"},
 ]
 
 [package.dependencies]
@@ -575,13 +575,13 @@ i18n = ["Babel (>=2.7)"]
 
 [[package]]
 name = "kframework"
-version = "7.1.99"
+version = "7.1.102"
 description = ""
 optional = false
 python-versions = "<4.0,>=3.10"
 files = [
-    {file = "kframework-7.1.99-py3-none-any.whl", hash = "sha256:331e099f53657a08a407e205ff2d4e76cac78776045d03cd3b9b592f3aa3c442"},
-    {file = "kframework-7.1.99.tar.gz", hash = "sha256:eb76422483fed57492da3f7ec8daa9343d0110896dd7b589f1a1e887d44c67cc"},
+    {file = "kframework-7.1.102-py3-none-any.whl", hash = "sha256:6518e479f8ae53b83d5ac6891608dd1d22be824e57e3971dd7b6776fb195674e"},
+    {file = "kframework-7.1.102.tar.gz", hash = "sha256:17f051454a0636df443023e642aba2f7abb43f8b238e9379e315fc7178822131"},
 ]
 
 [package.dependencies]
@@ -1604,4 +1604,4 @@ test = ["big-O", "importlib-resources", "jaraco.functools", "jaraco.itertools",
 [metadata]
 lock-version = "2.0"
 python-versions = "^3.10"
-content-hash = "8dedd0e34573e05289217171876ee25ebd64cdba9ead56c1d389d591420f3859"
+content-hash = "4ed5035ebecfe3c3df597c5e3db91c4af8b36ad55cbf362deb477bcc8ccaf9a6"
diff --git a/pyproject.toml b/pyproject.toml
index 5da00bde..21959587 100644
--- a/pyproject.toml
+++ b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "poetry.core.masonry.api"
 
 [tool.poetry]
 name = "kriscv"
-version = "0.1.23"
+version = "0.1.24"
 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.99"
+kframework = "7.1.102"
 pyyaml = "^6.0.1"
 types-pyyaml = "^6.0.12.20240311"
 filelock = "^3.14.0"