diff --git a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
index 97376ee32..a11dabc82 100644
--- a/DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj
+++ b/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"/>
diff --git a/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj b/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
index c3ccf953b..0a7c9ed75 100644
--- a/DynamoDbEncryption/runtimes/net/tests/Test-DynamoDbEncryption.csproj
+++ b/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" />