2022-10-28T02:06:56 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases 2022-10-28T02:06:58 attrpath: boogie 2022-10-28T02:06:58 Checking auto update branch... 2022-10-28T02:06:58 No auto update branch exists 2022-10-28T02:07:02 [version] 2022-10-28T02:07:02 [version] generic version rewriter does not support multiple hashes 2022-10-28T02:07:02 [rustCrateVersion] 2022-10-28T02:07:02 [rustCrateVersion] No cargoSha256 found 2022-10-28T02:07:02 [golangModuleVersion] 2022-10-28T02:07:02 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-10-28T02:07:02 [updateScript] 2022-10-28T02:07:02 [updateScript] skipping because derivation has no updateScript 2022-10-28T02:07:02 2022-10-28T02:07:02 [quotedUrls] 2022-10-28T02:07:02 [quotedUrls] nothing found to replace 2022-10-28T02:07:02 The diff was empty after rewrites. 2022-10-28T05:44:11 Boogie 2.15.7 -> 2.15.8 https://repology.org/metapackage/Boogie/versions 2022-10-28T05:44:13 attrpath: boogie 2022-10-28T05:44:13 Checking auto update branch... 2022-10-28T05:44:13 No auto update branch exists 2022-10-28T05:44:17 [version] 2022-10-28T05:44:17 [version] generic version rewriter does not support multiple hashes 2022-10-28T05:44:17 [rustCrateVersion] 2022-10-28T05:44:17 [rustCrateVersion] No cargoSha256 found 2022-10-28T05:44:17 [golangModuleVersion] 2022-10-28T05:44:17 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-10-28T05:44:17 [updateScript] 2022-10-28T05:44:17 [updateScript] skipping because derivation has no updateScript 2022-10-28T05:44:17 2022-10-28T05:44:17 [quotedUrls] 2022-10-28T05:44:17 [quotedUrls] nothing found to replace 2022-10-28T05:44:18 The diff was empty after rewrites. 2022-10-28T06:40:03 Boogie 2.15.7 -> 2.15.8 https://repology.org/metapackage/Boogie/versions 2022-10-28T06:40:06 attrpath: boogie 2022-10-28T06:40:06 Checking auto update branch... 2022-10-28T06:40:06 No auto update branch exists 2022-10-28T06:40:10 [version] 2022-10-28T06:40:10 [version] generic version rewriter does not support multiple hashes 2022-10-28T06:40:10 [rustCrateVersion] 2022-10-28T06:40:10 [rustCrateVersion] No cargoSha256 found 2022-10-28T06:40:10 [golangModuleVersion] 2022-10-28T06:40:10 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-10-28T06:40:10 [updateScript] 2022-10-28T06:40:10 [updateScript] skipping because derivation has no updateScript 2022-10-28T06:40:10 2022-10-28T06:40:10 [quotedUrls] 2022-10-28T06:40:10 [quotedUrls] nothing found to replace 2022-10-28T06:40:10 The diff was empty after rewrites. 2022-10-28T12:38:57 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases 2022-10-28T12:39:00 attrpath: boogie 2022-10-28T12:39:00 Checking auto update branch... 2022-10-28T12:39:00 No auto update branch exists 2022-10-28T12:39:04 [version] 2022-10-28T12:39:04 [version] generic version rewriter does not support multiple hashes 2022-10-28T12:39:04 [rustCrateVersion] 2022-10-28T12:39:04 [rustCrateVersion] No cargoSha256 found 2022-10-28T12:39:04 [golangModuleVersion] 2022-10-28T12:39:04 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-10-28T12:39:04 [updateScript] 2022-10-28T12:39:04 [updateScript] skipping because derivation has no updateScript 2022-10-28T12:39:04 2022-10-28T12:39:04 [quotedUrls] 2022-10-28T12:39:04 [quotedUrls] nothing found to replace 2022-10-28T12:39:04 The diff was empty after rewrites.