AWS.Cryptography.Internal.ComAmazonawsKms

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [2.0.0, )
• AWSSDK.Core [4.0.3.19, )
• AWSSDK.KeyManagementService [4.0.9.4, )
• DafnyRuntime [4.9.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.6.1, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.11.2, )
• AWSSDK.Core [3.7.500.75, 4.0.0)
• AWSSDK.KeyManagementService [3.7.505.27, 4.0.0)
• DafnyRuntime [4.2.0, 4.9.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.6.1, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.7.6, )
• AWSSDK.Core [3.7.402.88, 4.0.0)
• AWSSDK.KeyManagementService [3.7.403.18, 4.0.0)
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.7.5, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.KeyManagementService [3.7.304, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.7.0, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.KeyManagementService [3.7.304, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.6.0, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.KeyManagementService [3.7.304, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.5.1, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.KeyManagementService [3.7.304, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.5.0, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.KeyManagementService [3.7.304, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.4.0, )
• AWSSDK.Core [3.7.304.2, )
• AWSSDK.KeyManagementService [3.7.300.2, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.3.0, )
• AWSSDK.Core [3.7.300.2, )
• AWSSDK.KeyManagementService [3.7.300.2, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.2.0, )
• AWSSDK.Core [3.7.300.2, )
• AWSSDK.KeyManagementService [3.7.300.2, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [1.1.1, )
• AWSSDK.Core [3.7.103, )
• AWSSDK.KeyManagementService [3.7.3.20, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )