2022-12-12T03:37:25 boogie 2.15.7 -> 2.16.0 https://github.com/boogie-org/boogie/releases
2022-12-12T03:37:27 attrpath: boogie
2022-12-12T03:37:27 Checking auto update branch...
2022-12-12T03:37:27 No auto update branch exists
2022-12-12T03:37:30 [version] 
2022-12-12T03:37:30 [version] generic version rewriter does not support multiple hashes
2022-12-12T03:37:30 [rustCrateVersion] 
2022-12-12T03:37:30 [rustCrateVersion] No cargoSha256 found
2022-12-12T03:37:30 [golangModuleVersion] 
2022-12-12T03:37:30 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-12T03:37:30 [updateScript] 
2022-12-12T03:37:30 [updateScript] skipping because derivation has no updateScript
2022-12-12T03:37:30 
2022-12-12T03:37:30 [quotedUrls]
2022-12-12T03:37:30 [quotedUrls] nothing found to replace
2022-12-12T03:37:31 The diff was empty after rewrites.
2022-12-12T06:39:35 Boogie 2.15.7 -> 2.16.0 https://repology.org/metapackage/Boogie/versions
2022-12-12T06:39:37 attrpath: boogie
2022-12-12T06:39:37 Checking auto update branch...
2022-12-12T06:39:37 No auto update branch exists
2022-12-12T06:39:41 [version] 
2022-12-12T06:39:41 [version] generic version rewriter does not support multiple hashes
2022-12-12T06:39:41 [rustCrateVersion] 
2022-12-12T06:39:41 [rustCrateVersion] No cargoSha256 found
2022-12-12T06:39:41 [golangModuleVersion] 
2022-12-12T06:39:41 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-12T06:39:41 [updateScript] 
2022-12-12T06:39:41 [updateScript] skipping because derivation has no updateScript
2022-12-12T06:39:41 
2022-12-12T06:39:41 [quotedUrls]
2022-12-12T06:39:41 [quotedUrls] nothing found to replace
2022-12-12T06:39:41 The diff was empty after rewrites.
2022-12-12T15:33:49 boogie 2.15.7 -> 2.16.0 https://github.com/boogie-org/boogie/releases
2022-12-12T15:33:51 attrpath: boogie
2022-12-12T15:33:51 Checking auto update branch...
2022-12-12T15:33:51 No auto update branch exists
2022-12-12T15:33:55 [version] 
2022-12-12T15:33:55 [version] generic version rewriter does not support multiple hashes
2022-12-12T15:33:55 [rustCrateVersion] 
2022-12-12T15:33:55 [rustCrateVersion] No cargoSha256 found
2022-12-12T15:33:55 [golangModuleVersion] 
2022-12-12T15:33:55 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-12-12T15:33:55 [updateScript] 
2022-12-12T15:33:55 [updateScript] skipping because derivation has no updateScript
2022-12-12T15:33:55 
2022-12-12T15:33:55 [quotedUrls]
2022-12-12T15:33:55 [quotedUrls] nothing found to replace
2022-12-12T15:33:56 The diff was empty after rewrites.