From 2e49cdd29b23191295f9d56f33833c33a8cc6546 Mon Sep 17 00:00:00 2001
From: texastony <5892063+texastony@users.noreply.github.com>
Date: Mon, 21 Jul 2025 08:16:36 -0700
Subject: [PATCH 1/2] fix(dotnet): resolve AWS SDK and MPL Dependency to
 supported version

---
 AwsEncryptionSDK/runtimes/net/ESDK.csproj | 4 ++--
 mpl                                       | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/AwsEncryptionSDK/runtimes/net/ESDK.csproj b/AwsEncryptionSDK/runtimes/net/ESDK.csproj
index 0429623a6..1e6f2c699 100644
--- a/AwsEncryptionSDK/runtimes/net/ESDK.csproj
+++ b/AwsEncryptionSDK/runtimes/net/ESDK.csproj
@@ -30,10 +30,10 @@
 
   <ItemGroup>
       <!-- TODO: manually upgraded to match the latest from MPL, is that reasonable? -->
-      <PackageReference Include="AWSSDK.Core" Version="3.7.*" />
       <PackageReference Include="DafnyRuntime" Version="4.9.0" />
       <PackageReference Include="BouncyCastle.Cryptography" Version="2.3.1" />
-      <ProjectReference Include="../../../mpl/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj" />
+      <!-- See https://learn.microsoft.com/en-us/nuget/concepts/package-versioning?tabs=semver20sort#version-ranges   -->
+      <PackageReference Include="AWS.Cryptography.MaterialProviders" Version="[1.7.5, 1.7.6]" />
       <!--
         System.Collections.Immutable can be removed once dafny.msbuild is updated with
         https://github.com/dafny-lang/dafny.msbuild/pull/10 and versioned
diff --git a/mpl b/mpl
index ec013f6ba..d0619e337 160000
--- a/mpl
+++ b/mpl
@@ -1 +1 @@
-Subproject commit ec013f6ba85d62ab41db48fec92baca85625e4b9
+Subproject commit d0619e337167d12b63852bc604f4be731ddb2b08

From 500844e82f4849ae2594c1193e33392b40e608f2 Mon Sep 17 00:00:00 2001
From: texastony <5892063+texastony@users.noreply.github.com>
Date: Mon, 21 Jul 2025 08:24:45 -0700
Subject: [PATCH 2/2] fix(dotnet): do not change MPL submodule

---
 mpl | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/mpl b/mpl
index d0619e337..ec013f6ba 160000
--- a/mpl
+++ b/mpl
@@ -1 +1 @@
-Subproject commit d0619e337167d12b63852bc604f4be731ddb2b08
+Subproject commit ec013f6ba85d62ab41db48fec92baca85625e4b9