From e5f78506c698385f724a6c8769ddb4999f009320 Mon Sep 17 00:00:00 2001
From: Jose Corella <jocorell@amazon.com>
Date: Thu, 19 Mar 2026 11:11:05 -0700
Subject: [PATCH 1/3] chore: upadte mpl

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

diff --git a/mpl b/mpl
index 03c999c72..e6bdbae3b 160000
--- a/mpl
+++ b/mpl
@@ -1 +1 @@
-Subproject commit 03c999c72426158b06988cc31155454808d6baa1
+Subproject commit e6bdbae3b57ba227434f196b80d8c26e5baaaf4f

From 3f9f145fe0d1c6a0df29438bd4f18eb6cfb75ffd Mon Sep 17 00:00:00 2001
From: Jose Corella <jocorell@amazon.com>
Date: Thu, 19 Mar 2026 13:19:56 -0700
Subject: [PATCH 2/3] update examples

---
 .../runtimes/net/Examples/AWSEncryptionSDKExamples.csproj       | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj b/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
index 682400ef4..826574a2a 100644
--- a/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
+++ b/AwsEncryptionSDK/runtimes/net/Examples/AWSEncryptionSDKExamples.csproj
@@ -25,7 +25,7 @@
     <PackageReference Include="xunit.runner.visualstudio" Version="2.4.0" />
     <PackageReference Include="Microsoft.NET.Test.Sdk" Version="16.11.0" />
     <!-- AWSSDK.SecurityToken is included for the Client Supplier Example -->
-    <PackageReference Include="AWSSDK.SecurityToken" Version="3.7.1" />
+    <PackageReference Include="AWSSDK.SecurityToken" Version="4.*" />
     <PackageReference
             Include="Microsoft.NETFramework.ReferenceAssemblies"
             Version="1.0.0"

From cff0b45415eb369684a90a73ccae684ec8baeb41 Mon Sep 17 00:00:00 2001
From: Jose Corella <jocorell@amazon.com>
Date: Thu, 19 Mar 2026 13:55:41 -0700
Subject: [PATCH 3/3] update project properties

---
 project.properties | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/project.properties b/project.properties
index cc17413a5..6217e563b 100644
--- a/project.properties
+++ b/project.properties
@@ -4,6 +4,6 @@ dafnyVersion=4.9.0
 dafnyVerifyVersion=4.9.0
 dafnyFormatVersion=4.9.0
 projectJavaVersion=4.1.0
-mplDependencyJavaVersion=1.11.1-SNAPSHOT
+mplDependencyJavaVersion=1.11.2-SNAPSHOT
 dafnyRuntimeJavaVersion=4.9.0
 smithyDafnyJavaConversionVersion=0.1.1