Commit 3806a820 authored by R. RyanTM's avatar R. RyanTM
Browse files

dafny: 4.5.0 -> 4.6.0

parent 8b5339b5

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 = ''