Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.rocqnavi 0.5.0 -> 0.6.0 https://github.com/affeldt-aist/rocqnavi/releases
attrpath: coqPackages.rocqnavi
Checking auto update branch...
An auto update branch exists with message `coqPackages.rocqnavi: 0.5.0 -> 0.5.1`. New version is 0.6.0.
The auto update branch does not match or exceed the new version.
[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/rocqnavi/default.nix b/pkgs/development/rocq-modules/rocqnavi/default.nix
index ea2e62cadf47..cd1c1436803f 100644
--- a/pkgs/development/rocq-modules/rocqnavi/default.nix
+++ b/pkgs/development/rocq-modules/rocqnavi/default.nix
@@ -17,10 +17,10 @@ mkRocqDerivation {
     in
     with versions;
     switch rocq-core.rocq-version [
-      (case (range "9.0" "9.3") "0.5.0")
+      (case (range "9.0" "9.3") "0.6.0")
     ] null;
   release = {
-    "0.5.0".hash = "sha256-pmK4gD5ccerjr2UVgwGIVbjH/RiXdYQq79/XFetiHZg=";
+    "0.6.0".hash = "sha256-Ahu54GDrY9NclLCv667S+fNC9xD0ZiZF0CmKgg7kziM=";
   };
   releaseRev = v: "rocqnavi." + v;
 

Received ExitFailure 1 when running
Raw command: nix-build --option sandbox true --arg config "{ allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A coqPackages.rocqnavi
nix build failed.
got build log for 'coqPackages.rocqnavi' from 'daemon'
Running phase: unpackPhase
@nix { "action": "setPhase", "phase": "unpackPhase" }
unpacking source archive /nix/store/5v59xmdxy17m9mpddj2sm5y68nqqng7p-source
source root is source
Running phase: patchPhase
@nix { "action": "setPhase", "phase": "patchPhase" }
Running phase: updateAutotoolsGnuConfigScriptsPhase
@nix { "action": "setPhase", "phase": "updateAutotoolsGnuConfigScriptsPhase" }
Running phase: configurePhase
@nix { "action": "setPhase", "phase": "configurePhase" }
no configure script, doing nothing
Running phase: buildPhase
@nix { "action": "setPhase", "phase": "buildPhase" }
make: *** No rule to make target 'log.cmi', needed by 'rocqnavi'.  Stop.