2022-11-17T05:53:04 z3 4.8.15 -> 4.11.2 https://github.com/Z3Prover/z3/releases
2022-11-17T05:53:06 attrpath: python310Packages.z3
2022-11-17T05:53:06 Checking auto update branch...
2022-11-17T05:53:06 No auto update branch exists
2022-11-17T05:53:11 [version] 
2022-11-17T05:53:11 [version] generic version rewriter does not support multiple hashes
2022-11-17T05:53:11 [rustCrateVersion] 
2022-11-17T05:53:11 [rustCrateVersion] No cargoSha256 found
2022-11-17T05:53:11 [golangModuleVersion] 
2022-11-17T05:53:11 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-17T05:53:11 [updateScript] 
2022-11-17T05:53:11 [updateScript] skipping because derivation has no updateScript
2022-11-17T05:53:11 
2022-11-17T05:53:11 [quotedUrls]
2022-11-17T05:53:11 [quotedUrls] nothing found to replace
2022-11-17T05:53:12 The diff was empty after rewrites.