coqPackages.coq-record-update 0.3.3 -> 0.3.4 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 cargoSha256 or cargoHash found [golangModuleVersion] [golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash [npmDepsVersion] [npmDepsVersion] No npmDepsHash [updateScript] [updateScript] skipping because derivation has no updateScript The diff was empty after rewrites.