github.com/aws/aws-cryptographic-material-providers-library/releases/go/mpl

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.4.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.4.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.4.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.4.0
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.57.3
• github.com/aws/aws-sdk-go-v2/service/kms v1.51.1
• github.com/aws/smithy-go v1.25.1
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.3

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.3.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.3.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.3.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.3.0
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.52.2
• github.com/aws/aws-sdk-go-v2/service/kms v1.46.2
• github.com/aws/smithy-go v1.23.1
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.2

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.2
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.2
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.2
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.2
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.49.1
• github.com/aws/aws-sdk-go-v2/service/kms v1.44.2
• github.com/aws/smithy-go v1.22.5
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.11.0

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.1
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.46.0
• github.com/aws/aws-sdk-go-v2/service/kms v1.43.0
• github.com/aws/smithy-go v1.22.5
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.10.1

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.2.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.2.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.2.0
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.2.0
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
• github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
• github.com/aws/smithy-go v1.22.1
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.3
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.1
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
• github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
• github.com/aws/smithy-go v1.22.1
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2

Dependencies (8)

• github.com/aws/aws-cryptographic-material-providers-library/releases/go/dynamodb v0.0.3
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/kms v0.0.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/primitives v0.0.1
• github.com/aws/aws-cryptographic-material-providers-library/releases/go/smithy-dafny-standard-library v0.0.1
• github.com/aws/aws-sdk-go-v2/service/dynamodb v1.39.2
• github.com/aws/aws-sdk-go-v2/service/kms v1.36.0
• github.com/aws/smithy-go v1.22.1
• github.com/dafny-lang/DafnyRuntimeGo/v4 v4.9.2