2022-11-07T01:33:18 dafny 2.3.0 -> 3.9.1 https://github.com/Microsoft/dafny/releases
2022-11-07T01:33:20 attrpath: dafny
2022-11-07T01:33:20 Checking auto update branch...
2022-11-07T01:33:20 No auto update branch exists
2022-11-07T01:33:24 [version] 
2022-11-07T01:33:24 [version] generic version rewriter does not support multiple hashes
2022-11-07T01:33:24 [rustCrateVersion] 
2022-11-07T01:33:24 [rustCrateVersion] No cargoSha256 found
2022-11-07T01:33:24 [golangModuleVersion] 
2022-11-07T01:33:24 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-07T01:33:24 [updateScript] 
2022-11-07T01:33:24 [updateScript] skipping because derivation has no updateScript
2022-11-07T01:33:24 
2022-11-07T01:33:24 [quotedUrls]
2022-11-07T01:33:24 [quotedUrls] nothing found to replace
2022-11-07T01:33:25 The diff was empty after rewrites.
2022-11-07T10:02:58 Dafny 2.3.0 -> 3.9.1 https://repology.org/metapackage/Dafny/versions
2022-11-07T10:03:01 attrpath: dafny
2022-11-07T10:03:01 Checking auto update branch...
2022-11-07T10:03:01 No auto update branch exists
2022-11-07T10:03:05 [version] 
2022-11-07T10:03:05 [version] generic version rewriter does not support multiple hashes
2022-11-07T10:03:05 [rustCrateVersion] 
2022-11-07T10:03:05 [rustCrateVersion] No cargoSha256 found
2022-11-07T10:03:05 [golangModuleVersion] 
2022-11-07T10:03:05 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-07T10:03:05 [updateScript] 
2022-11-07T10:03:05 [updateScript] skipping because derivation has no updateScript
2022-11-07T10:03:05 
2022-11-07T10:03:05 [quotedUrls]
2022-11-07T10:03:05 [quotedUrls] nothing found to replace
2022-11-07T10:03:05 The diff was empty after rewrites.
2022-11-07T18:23:05 dafny 2.3.0 -> 3.9.1 https://github.com/Microsoft/dafny/releases
2022-11-07T18:23:07 attrpath: dafny
2022-11-07T18:23:07 Checking auto update branch...
2022-11-07T18:23:07 No auto update branch exists
2022-11-07T18:23:11 [version] 
2022-11-07T18:23:11 [version] generic version rewriter does not support multiple hashes
2022-11-07T18:23:11 [rustCrateVersion] 
2022-11-07T18:23:11 [rustCrateVersion] No cargoSha256 found
2022-11-07T18:23:11 [golangModuleVersion] 
2022-11-07T18:23:11 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-07T18:23:11 [updateScript] 
2022-11-07T18:23:11 [updateScript] skipping because derivation has no updateScript
2022-11-07T18:23:11 
2022-11-07T18:23:11 [quotedUrls]
2022-11-07T18:23:11 [quotedUrls] nothing found to replace
2022-11-07T18:23:12 The diff was empty after rewrites.