Update dependency: deps/uv2nix (#168)

rv-jenkins · rv-auditor · web-flow · commit add3fd39a79e · 2026-01-14T15:29:00.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
diff --git a/deps/uv2nix b/deps/uv2nix
@@ -1 +1 @@
-4cca323a547a1aaa9b94929c4901bed5343eafe8
+9d357f0d2ce6f5f35ec7959d7e704452352eb4da
diff --git a/package/version b/package/version
@@ -1 +1 @@
-0.1.124
+0.1.125
diff --git a/pyproject.toml b/pyproject.toml
@@ -4,7 +4,7 @@ build-backend = "hatchling.build"
 
 [project]
 name = "kriscv"
-version = "0.1.124"
+version = "0.1.125"
 description = "K tooling for the RISC-V architecture"
 readme = "README.md"
 requires-python = "~=3.10"
diff --git a/uv.lock b/uv.lock
