AWS.Cryptography.MaterialProviders

Dependencies (7)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [2.0.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [2.0.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [2.0.0, )
• AWS.Cryptography.Internal.StandardLibrary [2.0.0, )
• DafnyRuntime [4.9.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.6.1, )

Dependencies (7)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.11.2, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.11.2, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.11.2, )
• AWS.Cryptography.Internal.StandardLibrary [1.11.2, )
• DafnyRuntime [4.2.0, 4.9.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.6.1, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.7.6, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.7.6, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.7.6, )
• AWS.Cryptography.Internal.StandardLibrary [1.7.6, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.7.5, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.7.5, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.7.5, )
• AWS.Cryptography.Internal.StandardLibrary [1.7.5, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.7.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.7.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.7.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.7.0, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.6.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.6.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.6.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.6.0, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, 4.8.0]
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.5.1, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.5.1, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.5.1, )
• AWS.Cryptography.Internal.StandardLibrary [1.5.1, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (8)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.5.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.5.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.5.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.5.0, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )

Dependencies (9)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.4.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.4.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.4.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.4.0, )
• AWSSDK.Core [3.7.304.2, )
• BouncyCastle.Cryptography [2.3.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )

+ 1 more

Dependencies (9)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.3.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.3.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.3.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.3.0, )
• AWSSDK.Core [3.7.300.2, )
• BouncyCastle.Cryptography [2.2.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )

+ 1 more

Dependencies (9)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.2.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.2.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.2.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.2.0, )
• AWSSDK.Core [3.7.300.2, )
• BouncyCastle.Cryptography [2.2.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )

+ 1 more

Dependencies (9)

• AWS.Cryptography.Internal.AwsCryptographyPrimitives [1.0.0, )
• AWS.Cryptography.Internal.ComAmazonawsDynamodb [1.0.0, )
• AWS.Cryptography.Internal.ComAmazonawsKms [1.0.0, )
• AWS.Cryptography.Internal.StandardLibrary [1.1.1, )
• AWSSDK.Core [3.7.103, )
• BouncyCastle.Cryptography [2.2.1, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )

+ 1 more