2022-11-28T06:56:43 Boogie 2.15.7 -> 2.15.9 https://repology.org/metapackage/Boogie/versions
2022-11-28T06:56:47 attrpath: boogie
2022-11-28T06:56:48 Checking auto update branch...
2022-11-28T06:56:48 No auto update branch exists
2022-11-28T06:56:54 [version] 
2022-11-28T06:56:54 [version] generic version rewriter does not support multiple hashes
2022-11-28T06:56:54 [rustCrateVersion] 
2022-11-28T06:56:54 [rustCrateVersion] No cargoSha256 found
2022-11-28T06:56:54 [golangModuleVersion] 
2022-11-28T06:56:54 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-28T06:56:54 [updateScript] 
2022-11-28T06:56:54 [updateScript] skipping because derivation has no updateScript
2022-11-28T06:56:54 
2022-11-28T06:56:54 [quotedUrls]
2022-11-28T06:56:55 [quotedUrls] nothing found to replace
2022-11-28T06:56:55 The diff was empty after rewrites.
2022-11-28T14:25:06 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases
2022-11-28T14:25:08 attrpath: boogie
2022-11-28T14:25:08 Checking auto update branch...
2022-11-28T14:25:08 No auto update branch exists
2022-11-28T14:25:12 [version] 
2022-11-28T14:25:12 [version] generic version rewriter does not support multiple hashes
2022-11-28T14:25:12 [rustCrateVersion] 
2022-11-28T14:25:12 [rustCrateVersion] No cargoSha256 found
2022-11-28T14:25:12 [golangModuleVersion] 
2022-11-28T14:25:12 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-28T14:25:12 [updateScript] 
2022-11-28T14:25:12 [updateScript] skipping because derivation has no updateScript
2022-11-28T14:25:12 
2022-11-28T14:25:12 [quotedUrls]
2022-11-28T14:25:12 [quotedUrls] nothing found to replace
2022-11-28T14:25:12 The diff was empty after rewrites.