Running nixpkgs-update (https://nix-community.org/update-bot/) with UPDATE_INFO: coqPackages.coq-record-update 0.3.6 -> 0.3.7 https://github.com/tchajed/coq-record-update/releases attrpath: coqPackages.coq-record-update Checking auto update branch... No auto update branch exists [version] [version] generic version rewriter does not support multiple hashes [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 The diff was empty after rewrites.