Update dependency: deps/uv2nix (#165)

rv-jenkins · rv-auditor · web-flow · commit 181d2c8a6bd1 · 2025-11-14T19:01:23.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/uv2nix b/deps/uv2nix
@@ -1 +1 @@
-b6ed0901aec29583532abe65117b18d86a49b617
+c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.121
+0.1.122
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.121"
+version = "0.1.122"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
