diff --git a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj
index e2f624fdd..5beac7bfa 100644
--- a/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj
+++ b/ComAmazonawsDynamodb/runtimes/net/ComAmazonawsDynamodb.csproj
@@ -58,8 +58,8 @@
 
   <ItemGroup>
     <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.16" />
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.300.2" />
+    <PackageReference Include="AWSSDK.Core" Version="3.7.400.3" />
+    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.400.3" />
     <ProjectReference Include="../../../StandardLibrary/runtimes/net/STD.csproj" />
     <!--
       System.Collections.Immutable can be removed once dafny.msbuild is updated with