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 .#Boogie --apply "p: builtins.hasAttr \"updateScript\" p"
Standard error:

error: flake 'git+file:///var/cache/nixpkgs-update/worker/worktree/Boogie' does not provide attribute 'packages.x86_64-linux.Boogie', 'legacyPackages.x86_64-linux.Boogie' or 'Boogie'
       Did you mean one of boogie or roogle?