Dafny 2.3.0 -> 3.10.0 https://repology.org/metapackage/Dafny/versions
attrpath: Dafny
Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix eval .#Dafny --apply "p: builtins.hasAttr \"updateScript\" p"
Standard error:

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