Update dependency: deps/uv2nix (#2811)

rv-jenkins · rv-auditor · automergerpr-permission-manager[bot] · web-flow · commit 4ad8de53cee7 · 2025-11-17T20:28:00.000Z
* deps/uv2nix: Set Version c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c

* Sync uv version: uv 0.9.9

* flake.{nix,lock}: update Nix derivations

---------

Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: automergerpr-permission-manager[bot] &lt;190534181+automergerpr-permission-manager[bot]@users.noreply.github.com&gt;
diff --git a/deps/uv2nix b/deps/uv2nix
@@ -1 +1 @@
-b6ed0901aec29583532abe65117b18d86a49b617
+c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.9.2
+0.9.9
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -15,7 +15,7 @@
       inputs.nixpkgs.follows = "nixpkgs";
     };
     haskell-backend.follows = "k-framework/haskell-backend";
-    uv2nix.url = "github:pyproject-nix/uv2nix/b6ed0901aec29583532abe65117b18d86a49b617";
+    uv2nix.url = "github:pyproject-nix/uv2nix/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c";
     # uv2nix requires a newer version of nixpkgs
     # therefore, we pin uv2nix specifically to a newer version of nixpkgs
     # until we replaced our stale version of nixpkgs with an upstream one as well

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-b6ed0901aec29583532abe65117b18d86a49b617`
	`1`	`+c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c`