fix(.NET): Let the MPL define dependencies

Author: texastony

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -57,18 +57,7 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.16"/>
-    <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
     <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
-    <!--
-              System.Collections.Immutable can be removed once dafny.msbuild is updated with
-              https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-            -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0"/>
-    <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0"/>
-
     <Compile Include="Extern/**/*.cs"/>
     <Compile Include="Generated/**/*.cs"/>
     <Compile Include="src/**/*.cs"/>

DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj

@@ -10,16 +10,6 @@
     <EnableDefaultCompileItems>false</EnableDefaultCompileItems>
   </PropertyGroup>
 
-  <ItemGroup>
-    <!--
-      System.Collections.Immutable can be removed once dafny.msbuild is updated with
-      https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
-    -->
-    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
-    <!-- Work around for dafny-lang/dafny/issues/1951; remove once resolved -->
-    <PackageReference Include="System.ValueTuple" Version="4.5.0" />
-  </ItemGroup>
-
   <ItemGroup>
     <ProjectReference Include="../DynamoDbEncryption.csproj" />
     <Compile Include="TestsFromDafny.cs" />