Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.mathcomp-classical 1.16.0 -> 1.17.0 https://github.com/math-comp/analysis/releases
attrpath: coqPackages.mathcomp-classical
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-classical
nix build failed.
         from root mathcomp and has not been found in the loadpath!
         [module-not-found,filesystem,default]
Warning: in file classical_sets.v, library boot is required
         from root mathcomp and has not been found in the loadpath!
         [module-not-found,filesystem,default]
Warning: in file boolp.v, library boot is required
         from root mathcomp and has not been found in the loadpath!
         [module-not-found,filesystem,default]
ROCQ compile internal_Eqdep_dec.v
ROCQ compile mathcomp_extra.v
ROCQ compile unstable.v
File "./internal_Eqdep_dec.v", line 78, characters 0-30:
Warning: There is no flag or option with this name:
"SsrOldRewriteGoalsOrder". [unknown-option,default]
File "./mathcomp_extra.v", line 3, characters 29-33:
Error: Unable to locate library
boot with prefix mathcomp (while searching for a .vos file).

File "./unstable.v", line 3, characters 29-33:
Error: Unable to locate library
boot with prefix mathcomp (while searching for a .vos file).

make[2]: *** [Makefile.coq:814: mathcomp_extra.vo] Error 1
make[2]: *** [mathcomp_extra.vo] Deleting file 'mathcomp_extra.glob'
make[2]: *** Waiting for unfinished jobs....
make[2]: *** [Makefile.coq:814: unstable.vo] Error 1
make[2]: *** [unstable.vo] Deleting file 'unstable.glob'
make[1]: *** [Makefile.coq:412: all] Error 2
make[1]: Leaving directory '/build/source/classical'
make: *** [../Makefile.common:55: this-build] Error 2