2022-11-09T09:45:15 Boogie 2.15.7 -> 2.15.8 https://repology.org/metapackage/Boogie/versions 2022-11-09T09:45:17 attrpath: boogie 2022-11-09T09:45:18 Checking auto update branch... 2022-11-09T09:45:18 No auto update branch exists 2022-11-09T09:45:21 [version] 2022-11-09T09:45:21 [version] generic version rewriter does not support multiple hashes 2022-11-09T09:45:21 [rustCrateVersion] 2022-11-09T09:45:21 [rustCrateVersion] No cargoSha256 found 2022-11-09T09:45:21 [golangModuleVersion] 2022-11-09T09:45:21 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-09T09:45:21 [updateScript] 2022-11-09T09:45:21 [updateScript] skipping because derivation has no updateScript 2022-11-09T09:45:21 2022-11-09T09:45:21 [quotedUrls] 2022-11-09T09:45:22 [quotedUrls] nothing found to replace 2022-11-09T09:45:22 The diff was empty after rewrites. 2022-11-09T10:40:24 Boogie 2.15.7 -> 2.15.8 https://repology.org/metapackage/Boogie/versions 2022-11-09T10:40:26 attrpath: boogie 2022-11-09T10:40:27 Checking auto update branch... 2022-11-09T10:40:27 No auto update branch exists 2022-11-09T10:40:31 [version] 2022-11-09T10:40:31 [version] generic version rewriter does not support multiple hashes 2022-11-09T10:40:31 [rustCrateVersion] 2022-11-09T10:40:31 [rustCrateVersion] No cargoSha256 found 2022-11-09T10:40:31 [golangModuleVersion] 2022-11-09T10:40:31 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-09T10:40:31 [updateScript] 2022-11-09T10:40:31 [updateScript] skipping because derivation has no updateScript 2022-11-09T10:40:31 2022-11-09T10:40:31 [quotedUrls] 2022-11-09T10:40:31 [quotedUrls] nothing found to replace 2022-11-09T10:40:31 The diff was empty after rewrites. 2022-11-09T15:41:21 boogie 2.15.7 -> 2.15.9 https://github.com/boogie-org/boogie/releases 2022-11-09T15:41:24 attrpath: boogie 2022-11-09T15:41:24 Checking auto update branch... 2022-11-09T15:41:24 No auto update branch exists 2022-11-09T15:41:28 [version] 2022-11-09T15:41:28 [version] generic version rewriter does not support multiple hashes 2022-11-09T15:41:28 [rustCrateVersion] 2022-11-09T15:41:28 [rustCrateVersion] No cargoSha256 found 2022-11-09T15:41:28 [golangModuleVersion] 2022-11-09T15:41:28 [golangModuleVersion] Not a buildGoModule package with vendorSha256 2022-11-09T15:41:28 [updateScript] 2022-11-09T15:41:28 [updateScript] skipping because derivation has no updateScript 2022-11-09T15:41:28 2022-11-09T15:41:28 [quotedUrls] 2022-11-09T15:41:28 [quotedUrls] nothing found to replace 2022-11-09T15:41:28 The diff was empty after rewrites.