2022-12-16T14:18:09 Dafny 2.3.0 -> 3.10.0 https://repology.org/metapackage/Dafny/versions
2022-12-16T14:18:11 attrpath: dafny
2022-12-16T14:18:11 Checking auto update branch...
2022-12-16T14:18:11 No auto update branch exists
2022-12-16T14:18:15 [version] 
2022-12-16T14:18:15 [version] generic version rewriter does not support multiple hashes
2022-12-16T14:18:15 [rustCrateVersion] 
2022-12-16T14:18:15 [rustCrateVersion] No cargoSha256 found
2022-12-16T14:18:15 [golangModuleVersion] 
2022-12-16T14:18:15 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-16T14:18:15 [updateScript] 
2022-12-16T14:18:15 [updateScript] skipping because derivation has no updateScript
2022-12-16T14:18:15 
2022-12-16T14:18:15 [quotedUrls]
2022-12-16T14:18:15 [quotedUrls] nothing found to replace
2022-12-16T14:18:15 The diff was empty after rewrites.