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

rv-jenkins · rv-auditor · juliankuners · web-flow · commit 17cc98d9bbe2 · 2025-11-14T19:24:51.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 @@
-dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5
+795a980d25301e5133eca37adae37283ec3c8e66
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/dbfc0483b5952c6b86e36f8b3afeb9dde30ea4b5";
+    pyproject-build-systems.url = "github:pyproject-nix/build-system-pkgs/795a980d25301e5133eca37adae37283ec3c8e66";
     pyproject-build-systems = {
       inputs.nixpkgs.follows = "nixpkgs";
       inputs.uv2nix.follows = "uv2nix";
