Boogie 2.15.7 -> 2.16.0 https://repology.org/metapackage/Boogie/versions
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

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