From 44a7f1669f95c39488257ed308970e8fb36b59e7 Mon Sep 17 00:00:00 2001
From: Alex Cioc <cioc@amazon.com>
Date: Thu, 12 Mar 2020 15:31:09 -0700
Subject: [PATCH 1/2] Add additional dependencies, temporarily

---
 src/AWSEncryptionSDK.csproj | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/AWSEncryptionSDK.csproj b/src/AWSEncryptionSDK.csproj
index 4ace3950b..26e741979 100644
--- a/src/AWSEncryptionSDK.csproj
+++ b/src/AWSEncryptionSDK.csproj
@@ -50,6 +50,8 @@
     <PackageReference Include="AWSSDK.Core" Version="3.3.104.1" />
     <PackageReference Include="AWSSDK.KeyManagementService" Version="3.3.103" />
     <PackageReference Include="Portable.BouncyCastle" Version="1.8.5.2" />
+    <PackageReference Include="System.Collections.Immutable" Version="1.7.0" />
+    <PackageReference Include="System.Runtime" Version="4.3.1" />
   </ItemGroup>
 
   <PropertyGroup>

From 9be256d72fa37d630da066db179c5f11c8d76594 Mon Sep 17 00:00:00 2001
From: Alex Cioc <cioc@amazon.com>
Date: Thu, 12 Mar 2020 17:14:01 -0700
Subject: [PATCH 2/2] Add comment on adding Immutable, remove Runtime

---
 src/AWSEncryptionSDK.csproj | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/src/AWSEncryptionSDK.csproj b/src/AWSEncryptionSDK.csproj
index 26e741979..7cf7723ea 100644
--- a/src/AWSEncryptionSDK.csproj
+++ b/src/AWSEncryptionSDK.csproj
@@ -50,8 +50,11 @@
     <PackageReference Include="AWSSDK.Core" Version="3.3.104.1" />
     <PackageReference Include="AWSSDK.KeyManagementService" Version="3.3.103" />
     <PackageReference Include="Portable.BouncyCastle" Version="1.8.5.2" />
+    <!--
+      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" />
-    <PackageReference Include="System.Runtime" Version="4.3.1" />
   </ItemGroup>
 
   <PropertyGroup>