Update dependency: deps/pyproject-build-systems (#52)

rv-jenkins · rv-auditor · juliankuners · web-flow · commit a9b75b80f64e · 2025-10-03T16:01:41.000Z
Co-authored-by: devops &lt;devops@runtimeverification.com&gt;
Co-authored-by: Julian Kuners &lt;julian.kuners@gmail.com&gt;
diff --git a/deps/pyproject-build-systems b/deps/pyproject-build-systems
@@ -1 +1 @@
-7dba6dbc73120e15b558754c26024f6c93015dd7
+dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5
diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -16,7 +16,7 @@
     nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
     uv2nix.inputs.nixpkgs.follows = "nixpkgs-unstable";
     # uv2nix.inputs.nixpkgs.follows = "nixpkgs";
-    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/7dba6dbc73120e15b558754c26024f6c93015dd7";
+    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5";
     pyproject-build-systems = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.uv2nix.follows = "uv2nix";
