Merge branch 'main' into jocorell/update-examples

Author: josecorella

DynamoDbEncryption/runtimes/net/DynamoDbEncryption.csproj

@@ -57,8 +57,8 @@
   </PropertyGroup>
 
   <ItemGroup>
-    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.303.14"/>
-    <PackageReference Include="AWSSDK.Core" Version="3.7.304.16"/>
+    <PackageReference Include="AWSSDK.DynamoDBv2" Version="3.7.402.2"/>
+    <PackageReference Include="AWSSDK.Core" Version="3.7.400.38"/>
     <PackageReference Include="DafnyRuntime" Version="$(DafnyVersion)" />
     <ProjectReference Include="../../../submodules/MaterialProviders/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj"/>
     <!--