coqPackages.serapi 8.18.0+0.18.0 -> 8.19.0+0.19.1 https://github.com/ejgallego/coq-serapi/releases attrpath: coqPackages.serapi 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.