File tree Expand file tree Collapse file tree 3 files changed +4
-4
lines changed
AwsEncryptionSDK/runtimes Expand file tree Collapse file tree 3 files changed +4
-4
lines changed Original file line number Diff line number Diff line change @@ -28,7 +28,7 @@ repositories {
28
28
dependencies {
29
29
implementation(" org.dafny:DafnyRuntime:${dafnyVersion} " )
30
30
implementation(" software.amazon.smithy.dafny:conversion:0.1" )
31
- implementation(" software.amazon.cryptography:aws-cryptographic-material-providers:1.0.1 " )
31
+ implementation(" software.amazon.cryptography:aws-cryptographic-material-providers:1.4.0 " )
32
32
33
33
// Use JUnit test framework.
34
34
testImplementation(" junit:junit:4.13.2" )
Original file line number Diff line number Diff line change 30
30
31
31
<ItemGroup >
32
32
<!-- TODO: manually upgraded to match the latest from MPL, is that reasonable? -->
33
- <PackageReference Include =" AWSSDK.Core" Version =" 3.7.300.2 " />
33
+ <PackageReference Include =" AWSSDK.Core" Version =" 3.7.* " />
34
34
<PackageReference Include =" DafnyRuntime" Version =" 4.2.0" />
35
- <PackageReference Include =" BouncyCastle.Cryptography" Version =" 2.2 .1" />
35
+ <PackageReference Include =" BouncyCastle.Cryptography" Version =" 2.3 .1" />
36
36
<ProjectReference Include =" ../../../mpl/AwsCryptographicMaterialProviders/runtimes/net/MPL.csproj" />
37
37
<!--
38
38
System.Collections.Immutable can be removed once dafny.msbuild is updated with
You can’t perform that action at this time.
0 commit comments