Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Runtime Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
DynamoDB Client
Apache 2.0
|  | com.amazonaws
»
aws-java-sdk-dynamodb The AWS Java SDK for Amazon DynamoDB module holds the client classes that are used for communicating | 1.12.765 | 2.54.9 |
MIT
|  | org.dafny
»
DafnyRuntime Runtime for Dafny programs compiled to Java | 4.8.0 | 4.11.0 |
DynamoDB Client
Apache 2.0
|  | software.amazon.awssdk
»
dynamodb The AWS Java SDK for Amazon DynamoDB module holds the client classes that are used for communicating | ${awsjavasdk.version} | 2.54.9 |
DynamoDB Client
Apache 2.0
| | software.amazon.awssdk » dynamodb-enhanced | ${awsjavasdk.version} | 2.54.9 |
Encryption Lib
Apache 2.0
| | software.amazon.awssdk
»
kms The AWS Java SDK for AWS KMS module holds the client classes that are used for communicating with AWS | ${awsjavasdk.version} | 2.54.9 |
Apache 2.0
| | software.amazon.cryptography
»
aws-cryptographic-material-providers The AWS Cryptographic Material Providers Library for Java | 1.6.0 | 1.11.1 |
Apache 2.0
|  | software.amazon.smithy.dafny
»
conversion Convert Native Java Types to Dafny Runtime Types and vice versa | 0.1 | 0.1.2 |