Compile Dependencies (0)
| Category/License | Group / Artifact | Version | Updates |
|---|
Runtime Dependencies (7)
| Category/License | Group / Artifact | Version | Updates | |
|---|---|---|---|---|
Apache 2.0
|  | io.netty
»
netty-common Core utilities and abstractions shared across Netty modules, including buffers, threading, and platform detection. | 4.2.9.Final | 4.2.17.Final |
MIT
|  | org.dafny
»
DafnyRuntime Runtime for Dafny programs compiled to Java | 4.9.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.11.1 | ✔ |
Apache 2.0
|  | software.amazon.smithy.dafny
»
conversion Convert Native Java Types to Dafny Runtime Types and vice versa | 0.1.1 | 0.1.2 |