2022-11-11T00:54:47 dafny 2.3.0 -> 3.9.1 https://github.com/Microsoft/dafny/releases
2022-11-11T00:54:49 attrpath: dafny
2022-11-11T00:54:49 Checking auto update branch...
2022-11-11T00:54:49 No auto update branch exists
2022-11-11T00:54:53 [version] 
2022-11-11T00:54:53 [version] generic version rewriter does not support multiple hashes
2022-11-11T00:54:53 [rustCrateVersion] 
2022-11-11T00:54:53 [rustCrateVersion] No cargoSha256 found
2022-11-11T00:54:53 [golangModuleVersion] 
2022-11-11T00:54:53 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-11T00:54:53 [updateScript] 
2022-11-11T00:54:53 [updateScript] skipping because derivation has no updateScript
2022-11-11T00:54:53 
2022-11-11T00:54:53 [quotedUrls]
2022-11-11T00:54:53 [quotedUrls] nothing found to replace
2022-11-11T00:54:54 The diff was empty after rewrites.
2022-11-11T11:27:27 Dafny 2.3.0 -> 3.9.1 https://repology.org/metapackage/Dafny/versions
2022-11-11T11:27:30 attrpath: dafny
2022-11-11T11:27:30 Checking auto update branch...
2022-11-11T11:27:30 No auto update branch exists
2022-11-11T11:27:33 [version] 
2022-11-11T11:27:33 [version] generic version rewriter does not support multiple hashes
2022-11-11T11:27:33 [rustCrateVersion] 
2022-11-11T11:27:33 [rustCrateVersion] No cargoSha256 found
2022-11-11T11:27:33 [golangModuleVersion] 
2022-11-11T11:27:33 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-11T11:27:33 [updateScript] 
2022-11-11T11:27:33 [updateScript] skipping because derivation has no updateScript
2022-11-11T11:27:33 
2022-11-11T11:27:33 [quotedUrls]
2022-11-11T11:27:34 [quotedUrls] nothing found to replace
2022-11-11T11:27:34 The diff was empty after rewrites.