2022-12-02T05:41:58 Boogie 2.15.7 -> 2.16.0 https://repology.org/metapackage/Boogie/versions
2022-12-02T05:42:00 attrpath: boogie
2022-12-02T05:42:00 Checking auto update branch...
2022-12-02T05:42:01 No auto update branch exists
2022-12-02T05:42:04 [version] 
2022-12-02T05:42:04 [version] generic version rewriter does not support multiple hashes
2022-12-02T05:42:04 [rustCrateVersion] 
2022-12-02T05:42:04 [rustCrateVersion] No cargoSha256 found
2022-12-02T05:42:04 [golangModuleVersion] 
2022-12-02T05:42:04 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-02T05:42:04 [updateScript] 
2022-12-02T05:42:04 [updateScript] skipping because derivation has no updateScript
2022-12-02T05:42:04 
2022-12-02T05:42:04 [quotedUrls]
2022-12-02T05:42:04 [quotedUrls] nothing found to replace
2022-12-02T05:42:05 The diff was empty after rewrites.
2022-12-02T19:50:03 boogie 2.15.7 -> 2.16.0 https://github.com/boogie-org/boogie/releases
2022-12-02T19:50:05 attrpath: boogie
2022-12-02T19:50:05 Checking auto update branch...
2022-12-02T19:50:05 No auto update branch exists
2022-12-02T19:50:09 [version] 
2022-12-02T19:50:09 [version] generic version rewriter does not support multiple hashes
2022-12-02T19:50:09 [rustCrateVersion] 
2022-12-02T19:50:09 [rustCrateVersion] No cargoSha256 found
2022-12-02T19:50:09 [golangModuleVersion] 
2022-12-02T19:50:09 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-02T19:50:09 [updateScript] 
2022-12-02T19:50:09 [updateScript] skipping because derivation has no updateScript
2022-12-02T19:50:09 
2022-12-02T19:50:09 [quotedUrls]
2022-12-02T19:50:09 [quotedUrls] nothing found to replace
2022-12-02T19:50:09 The diff was empty after rewrites.