2022-12-17T03:39:43 dafny 2.3.0 -> 3.10.0 https://github.com/Microsoft/dafny/releases
2022-12-17T03:39:45 attrpath: dafny
2022-12-17T03:39:46 Checking auto update branch...
2022-12-17T03:39:46 No auto update branch exists
2022-12-17T03:39:49 [version] 
2022-12-17T03:39:49 [version] generic version rewriter does not support multiple hashes
2022-12-17T03:39:49 [rustCrateVersion] 
2022-12-17T03:39:49 [rustCrateVersion] No cargoSha256 found
2022-12-17T03:39:49 [golangModuleVersion] 
2022-12-17T03:39:49 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-17T03:39:49 [updateScript] 
2022-12-17T03:39:49 [updateScript] skipping because derivation has no updateScript
2022-12-17T03:39:49 
2022-12-17T03:39:49 [quotedUrls]
2022-12-17T03:39:49 [quotedUrls] nothing found to replace
2022-12-17T03:39:50 The diff was empty after rewrites.
2022-12-17T23:55:48 dafny 2.3.0 -> 3.10.0 https://github.com/Microsoft/dafny/releases
2022-12-17T23:55:50 attrpath: dafny
2022-12-17T23:55:50 Checking auto update branch...
2022-12-17T23:55:50 No auto update branch exists
2022-12-17T23:55:54 [version] 
2022-12-17T23:55:54 [version] generic version rewriter does not support multiple hashes
2022-12-17T23:55:54 [rustCrateVersion] 
2022-12-17T23:55:54 [rustCrateVersion] No cargoSha256 found
2022-12-17T23:55:54 [golangModuleVersion] 
2022-12-17T23:55:54 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-17T23:55:54 [updateScript] 
2022-12-17T23:55:54 [updateScript] skipping because derivation has no updateScript
2022-12-17T23:55:54 
2022-12-17T23:55:54 [quotedUrls]
2022-12-17T23:55:54 [quotedUrls] nothing found to replace
2022-12-17T23:55:54 The diff was empty after rewrites.