1 files changed, 22 insertions, 0 deletions
diff --git a/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
new file mode 100644
index 000000000000..5c43ca90ae0e
--- /dev/null
+++ b/dev-lang/dafny/files/dafny-4.3.0-net6.0-upgrade.patch
@@ -0,0 +1,22 @@
+--- a/Source/DafnyRuntime/DafnyRuntime.csproj.orig
++++ b/Source/DafnyRuntime/DafnyRuntime.csproj
+@@ -6,7 +6,7 @@
+       <GeneratePackageOnBuild>true</GeneratePackageOnBuild>
+       <GenerateAssemblyInfo>false</GenerateAssemblyInfo>
+       <DefineConstants>TRACE;ISDAFNYRUNTIMELIB</DefineConstants>
+-      <TargetFrameworks>netstandard2.0;net452</TargetFrameworks>
++      <TargetFrameworks>net6.0</TargetFrameworks>
+       <OutputPath>..\..\Binaries\</OutputPath>
+       <LangVersion>7.3</LangVersion>
+       <PackageLicenseExpression>MIT</PackageLicenseExpression>
+--- a/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj.orig
++++ b/Test/comp/separate-compilation/Inputs/producer/TimesTwo.csproj
+@@ -2,7 +2,7 @@
+ <Project Sdk="Microsoft.NET.Sdk">
+ 
+     <PropertyGroup>
+-        <TargetFramework>netstandard2.0</TargetFramework>
++        <TargetFramework>net6.0</TargetFramework>
+     </PropertyGroup>
+ 
+     <ItemGroup>