2023-01-02T02:34:55 boogie 2.15.7 -> 2.16.0 https://github.com/boogie-org/boogie/releases
2023-01-02T02:34:57 attrpath: boogie
2023-01-02T02:34:57 Checking auto update branch...
2023-01-02T02:34:57 No auto update branch exists
2023-01-02T02:35:01 [version] 
2023-01-02T02:35:01 [version] generic version rewriter does not support multiple hashes
2023-01-02T02:35:01 [rustCrateVersion] 
2023-01-02T02:35:01 [rustCrateVersion] No cargoSha256 found
2023-01-02T02:35:01 [golangModuleVersion] 
2023-01-02T02:35:01 [golangModuleVersion] Not a buildGoModule package with vendorSha256
2023-01-02T02:35:01 [updateScript] 
2023-01-02T02:35:01 [updateScript] skipping because derivation has no updateScript
2023-01-02T02:35:01 
2023-01-02T02:35:01 [quotedUrls]
2023-01-02T02:35:01 [quotedUrls] nothing found to replace
2023-01-02T02:35:01 The diff was empty after rewrites.
boogie 2.15.7 -> 2.16.0 https://github.com/boogie-org/boogie/releases
attrpath: boogie
Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval -f . "(let pkgs = import ./. {}; in builtins.hasAttr \"updateScript\" pkgs.boogie)"
Standard error:

error: attribute '(let pkgs = import ' in selection path '(let pkgs = import ./. {}; in builtins.hasAttr "updateScript" pkgs.boogie)' not found