2022-12-05T01:07:59 saw-tools 0.1.1-20150731 -> 0.9 https://github.com/GaloisInc/saw-script/releases
2022-12-05T01:08:01 attrpath: saw-tools
2022-12-05T01:08:01 Checking auto update branch...
2022-12-05T01:08:01 No auto update branch exists
2022-12-05T01:08:05 [version] 
2022-12-05T01:08:05 [version] generic version rewriter does not support multiple hashes
2022-12-05T01:08:05 [rustCrateVersion] 
2022-12-05T01:08:05 [rustCrateVersion] No cargoSha256 found
2022-12-05T01:08:05 [golangModuleVersion] 
2022-12-05T01:08:05 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-05T01:08:05 [updateScript] 
2022-12-05T01:08:05 [updateScript] skipping because derivation has no updateScript
2022-12-05T01:08:05 
2022-12-05T01:08:05 [quotedUrls]
2022-12-05T01:08:05 [quotedUrls] nothing found to replace
2022-12-05T01:08:05 The diff was empty after rewrites.