diff options
| author | github-actions[bot] <41898282+github-actions[bot]@users.noreply.github.com> | 2024-03-30 00:12:08 +0000 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-30 00:12:08 +0000 |
| commit | 506e353092183a01765b3612b8ac6b46884a79c2 (patch) | |
| tree | 0a8cf6add24ef27eafbdd3f7a23a858596dde7d1 /pkgs/applications/science/logic | |
| parent | 201e6de9c789e8d72dd73f453aef222ad904e58c (diff) | |
| parent | cd75d22750541115d5e3876838645d2d9123c842 (diff) | |
Merge master into haskell-updates
Diffstat (limited to 'pkgs/applications/science/logic')
| -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 = '' |