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 -f . "(let pkgs = import ./. {}; in builtins.hasAttr \"updateScript\" pkgs.dafny)"
Standard error:

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

dafny 2.3.0 -> 3.10.0 https://github.com/Microsoft/dafny/releases
attrpath: dafny
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.dafny)"
Standard error:

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