Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.mathcomp-analysis-stdlib 1.16.0 -> 1.17.0 https://github.com/math-comp/analysis/releases
attrpath: coqPackages.mathcomp-analysis-stdlib
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorHash
[npmDepsVersion] 
[npmDepsVersion] No npmDepsHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript
Diff after rewrites:
diff --git a/pkgs/development/rocq-modules/mathcomp-analysis/default.nix b/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
index a1da2f0868b4..1e784240ef5a 100644
--- a/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
+++ b/pkgs/development/rocq-modules/mathcomp-analysis/default.nix
@@ -15,7 +15,7 @@ let
   repo = "analysis";
   owner = "math-comp";
 
-  release."1.16.0".sha256 = "sha256-L0dCbxEqxI8rFv6OOEoIT/U3GKX37ageU9yw2H6hrWY=";
+  release."1.17.0".sha256 = "sha256-3JcJUKBrLqo5nBRy0Rg0t74Ej6fcA1JqAjvt0PrzLJA=";
 
   defaultVersion =
     let
@@ -31,7 +31,7 @@ let
     lib.switch
       [ rocq-core.rocq-version mathcomp.version ]
       [
-        (case (range "9.0" "9.3") (range "2.4.0" "2.6.0") "1.16.0")
+        (case (range "9.0" "9.3") (range "2.4.0" "2.6.0") "1.17.0")
       ]
       null;
 

Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A coqPackages.mathcomp-analysis-stdlib
Received ExitFailure 1 when running
Raw command: nix --extra-experimental-features nix-command log -f . coqPackages.mathcomp-analysis-stdlib --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]"
Standard output:

error: build log of 'coqPackages.mathcomp-analysis-stdlib' is not available