AWS.Cryptography.Internal.ComAmazonawsDynamodb

Dependencies (6)

• AWS.Cryptography.Internal.StandardLibrary [2.0.0, )
• AWSSDK.Core [4.0.3.19, )
• AWSSDK.DynamoDBv2 [4.0.15.3, )
• 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.DynamoDBv2 [3.7.511, 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.89, 4.0.0)
• AWSSDK.DynamoDBv2 [3.7.409.8, 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.400.38, )
• AWSSDK.DynamoDBv2 [3.7.402.2, )
• 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.DynamoDBv2 [3.7.300.2, )
• 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.DynamoDBv2 [3.7.300.2, )
• 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.DynamoDBv2 [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.5.0, )
• AWSSDK.Core [3.7.304.16, )
• AWSSDK.DynamoDBv2 [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.4.0, )
• AWSSDK.Core [3.7.304.2, )
• AWSSDK.DynamoDBv2 [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.DynamoDBv2 [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.DynamoDBv2 [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.DynamoDBv2 [3.7.101.8, )
• DafnyRuntime [4.2.0, )
• System.Collections.Immutable [1.7.0, )
• System.ValueTuple [4.5.0, )