Unverified Commit 62bf950e authored by Guillaume Maudoux's avatar Guillaume Maudoux Committed by GitHub
Browse files

Merge pull request #299916 from r-ryantm/auto-update/dafny 

dafny: 4.5.0 -> 4.6.0
parents 807c549f 3806a820

pkgs/applications/science/logic/dafny/default.nix

+2 −2
Original line number Diff line number Diff line
@@ -8,13 +8,13 @@ 


buildDotnetModule rec {

  pname = "Dafny";

  version = "4.5.0";

  version = "4.6.0";



  src = fetchFromGitHub {

    owner = "dafny-lang";

    repo = "dafny";

    rev = "v${version}";

    hash = "sha256-NsQhJY++IaLyFc5jqo7TyZBcz0P8VUizGLxdIe9KEO4=";

    hash = "sha256-3t0drxM7PZzrLbxBKYa6Gja2u6GK6Pc+ejoswag3P3k=";

  };



  postPatch = ''