2022-11-21T00:59:10 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases
2022-11-21T00:59:12 attrpath: boogie
2022-11-21T00:59:12 Checking auto update branch...
2022-11-21T00:59:13 No auto update branch exists
2022-11-21T00:59:16 [version] 
2022-11-21T00:59:16 [version] generic version rewriter does not support multiple hashes
2022-11-21T00:59:16 [rustCrateVersion] 
2022-11-21T00:59:16 [rustCrateVersion] No cargoSha256 found
2022-11-21T00:59:16 [golangModuleVersion] 
2022-11-21T00:59:16 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-21T00:59:16 [updateScript] 
2022-11-21T00:59:16 [updateScript] skipping because derivation has no updateScript
2022-11-21T00:59:16 
2022-11-21T00:59:16 [quotedUrls]
2022-11-21T00:59:16 [quotedUrls] nothing found to replace
2022-11-21T00:59:17 The diff was empty after rewrites.
2022-11-21T09:03:51 Boogie 2.15.7 -> 2.15.9 https://repology.org/metapackage/Boogie/versions
2022-11-21T09:03:54 attrpath: boogie
2022-11-21T09:03:54 Checking auto update branch...
2022-11-21T09:03:55 No auto update branch exists
2022-11-21T09:03:58 [version] 
2022-11-21T09:03:58 [version] generic version rewriter does not support multiple hashes
2022-11-21T09:03:58 [rustCrateVersion] 
2022-11-21T09:03:58 [rustCrateVersion] No cargoSha256 found
2022-11-21T09:03:58 [golangModuleVersion] 
2022-11-21T09:03:58 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-21T09:03:58 [updateScript] 
2022-11-21T09:03:58 [updateScript] skipping because derivation has no updateScript
2022-11-21T09:03:58 
2022-11-21T09:03:58 [quotedUrls]
2022-11-21T09:03:58 [quotedUrls] nothing found to replace
2022-11-21T09:03:59 The diff was empty after rewrites.
2022-11-21T17:02:14 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases
2022-11-21T17:02:16 attrpath: boogie
2022-11-21T17:02:17 Checking auto update branch...
2022-11-21T17:02:17 No auto update branch exists
2022-11-21T17:02:20 [version] 
2022-11-21T17:02:20 [version] generic version rewriter does not support multiple hashes
2022-11-21T17:02:20 [rustCrateVersion] 
2022-11-21T17:02:20 [rustCrateVersion] No cargoSha256 found
2022-11-21T17:02:20 [golangModuleVersion] 
2022-11-21T17:02:20 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2022-11-21T17:02:20 [updateScript] 
2022-11-21T17:02:20 [updateScript] skipping because derivation has no updateScript
2022-11-21T17:02:20 
2022-11-21T17:02:20 [quotedUrls]
2022-11-21T17:02:20 [quotedUrls] nothing found to replace
2022-11-21T17:02:21 The diff was empty after rewrites.