Update dependency: deps/k_release (#162)

rv-jenkins · rv-auditor · tothtamas28 · web-flow · commit 010ab6c4603b · 2025-12-19T10:28:55.000Z
Update `kframework` to `7.1.304`.

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Tamás Tóth &lt;tothtamas28@users.noreply.github.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.280
+7.1.304
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.7.2
+0.9.14
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.123
+0.1.124
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.123"
+version = "0.1.124"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.280",
+    "kframework==7.1.304",
     "filelock>=3.14.0,<4",
     "pyelftools>=0.26",
     "pyyaml>=6.0.1,<7",
diff --git a/uv.lock b/uv.lock
