Update dependency: deps/k_release (#127)

rv-jenkins · rv-auditor · web-flow · commit 0d090475b14b · 2025-06-11T16:53:09.000+02:00
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/k_release b/deps/k_release
@@ -1 +1 @@
-7.1.263
+7.1.267
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.7.2
+0.7.2
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.101
+0.1.102
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,12 +4,12 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.101"
+version = "0.1.102"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
 dependencies = [
-    "kframework==7.1.263",
+    "kframework==7.1.267",
     "filelock>=3.14.0,<4",
     "pyelftools>=0.26",
     "pyyaml>=6.0.1,<7",
diff --git a/uv.lock b/uv.lock
