dafny 4.0.0 -> 4.1.0 https://github.com/dafny-lang/dafny/releases
attrpath: dafny
Checking auto update branch...
No auto update branch exists
[version] 
[version] updated version and sha256
[rustCrateVersion] 
[rustCrateVersion] No cargoSha256 or cargoHash found
[golangModuleVersion] 
[golangModuleVersion] Not a buildGoModule package with vendorSha256 or vendorHash
[updateScript] 
[updateScript] skipping because derivation has no updateScript

[quotedUrls]
[quotedUrls] nothing found to replace
Diff after rewrites:
diff --git a/pkgs/applications/science/logic/dafny/default.nix b/pkgs/applications/science/logic/dafny/default.nix
index 962f9c8ae8c..8e9475d8f0b 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.0.0";
+  version = "4.1.0";
 
   src = fetchFromGitHub {
     owner = "dafny-lang";
     repo = "dafny";
     rev = "v${version}";
-    sha256 = "sha256-7mVFDORbu9KsJ4IH8PrrpXE7xFrWVTyBmRaL8Kt/ghY=";
+    sha256 = "sha256-8WKHktxnHrN1e2SVfHuiTq5aWTFuu4/SnbU4Y7409TQ=";
   };
 
   postPatch = ''

Received ExitFailure 1 when running
Raw command: /nix/store/3nqhcyc7vid1npgcd0m7arg5sn325nhz-nix-2.12.0/bin/nix-build --option sandbox true --arg config "{ allowBroken = true; allowUnfree = true; allowAliases = false; }" --arg overlays "[ ]" -A dafny
nix build failed.
  Determining projects to restore...
/build/source/Source/DafnyDriver/DafnyDriver.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyDriver/DafnyDriver.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyDriver/DafnyDriver.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyDriver/DafnyDriver.csproj (in 3.4 sec).
/build/source/Source/DafnyCore/DafnyCore.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyCore/DafnyCore.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyCore/DafnyCore.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyCore/DafnyCore.csproj (in 24 ms).
/build/source/Source/DafnyPipeline/DafnyPipeline.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyPipeline/DafnyPipeline.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyPipeline/DafnyPipeline.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyPipeline/DafnyPipeline.csproj (in 19 ms).
/build/source/Source/DafnyLanguageServer/DafnyLanguageServer.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyLanguageServer/DafnyLanguageServer.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyLanguageServer/DafnyLanguageServer.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyLanguageServer/DafnyLanguageServer.csproj (in 116 ms).
  Restored /build/source/Source/DafnyRuntime/DafnyRuntime.csproj (in 13 ms).
/build/source/Source/Dafny/Dafny.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4)
/build/source/Source/Dafny/Dafny.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ]
/build/source/Source/Dafny/Dafny.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource
  Failed to restore /build/source/Source/Dafny/Dafny.csproj (in 72 ms).
/build/source/Source/DafnyTestGeneration/DafnyTestGeneration.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyTestGeneration/DafnyTestGeneration.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyTestGeneration/DafnyTestGeneration.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyTestGeneration/DafnyTestGeneration.csproj (in 35 ms).
/build/source/Source/DafnyServer/DafnyServer.csproj : error NU1102: Unable to find package Boogie.ExecutionEngine with version (>= 2.16.4) [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyServer/DafnyServer.csproj : error NU1102:   - Found 1 version(s) in nugetSource [ Nearest version: 2.16.0 ] [/build/source/Source/Dafny/Dafny.csproj]
/build/source/Source/DafnyServer/DafnyServer.csproj : error NU1101: Unable to find package Tomlyn. No packages exist with this id in source(s): nugetSource [/build/source/Source/Dafny/Dafny.csproj]
  Failed to restore /build/source/Source/DafnyServer/DafnyServer.csproj (in 35 ms).