chore(.NET): transitively depend on deps

Author: texastony

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -57,18 +57,11 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.7"/>
-    <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

@@ -9,17 +9,7 @@
     <OutputType>Exe</OutputType>
     <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" />