Merge branch 'master' into _update-deps/runtimeverification/k

tothtamas28 · web-flow · commit 825ea640b584 · 2025-12-15T10:32:45.000+01:00
diff --git a/deps/uv2nix b/deps/uv2nix
@@ -1 +1 @@
-c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c
+4cca323a547a1aaa9b94929c4901bed5343eafe8
diff --git a/deps/uv_release b/deps/uv_release
@@ -1 +1 @@
-0.9.9
+0.9.14
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -7,7 +7,7 @@
     flake-utils.url = "github:numtide/flake-utils";
     k-framework.url = "github:runtimeverification/k/v7.1.304";
     k-framework.inputs.nixpkgs.follows = "nixpkgs";
-    uv2nix.url = "github:pyproject-nix/uv2nix/c8cf711802cb00b2e05d5c54d3486fce7bfc8f7c";
+    uv2nix.url = "github:pyproject-nix/uv2nix/4cca323a547a1aaa9b94929c4901bed5343eafe8";
     # 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
