diff options
| author | R. Ryantm <ryantm-bot@ryantm.com> | 2024-03-29 04:54:25 +0000 |
|---|---|---|
| committer | R. Ryantm <ryantm-bot@ryantm.com> | 2024-03-29 04:54:25 +0000 |
| commit | 3806a820246d376faf79c0a4b7c29ea8ac9c5d9e (patch) | |
| tree | 2013ba1ea0637c09f31d25fbe4e7193beb92281e /pkgs/applications/science | |
| parent | 8b5339b5070f65c2e78999ff6b061e879b02a425 (diff) | |
dafny: 4.5.0 -> 4.6.0
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/dafny/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/dafny/default.nix b/pkgs/applications/science/logic/dafny/default.nix index 83d472c1abb18..acf4f05000bf1 100644 --- a/pkgs/applications/science/logic/dafny/default.nix +++ b/pkgs/applications/science/logic/dafny/default.nix @@ -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 = '' |