Version3.8.0compared with
Version Details
| 3.7.0 | 3.8.0 | |
|---|---|---|
| Release date | Sep 17, 2024 | Feb 06, 2025 |
| Licenses | Apache 2.0 | Apache 2.0 |
| Vulnerabilities | None | None |
Runtime Changes (3)
| 3.7.0 | 3.8.0 | ||
|---|---|---|---|
| Change | Group / Artifact | Previous | Current |
| ~ Updated | org.dafny » DafnyRuntime | 4.8.0 | 4.9.0 |
| ~ Updated | software.amazon.cryptography » aws-cryptographic-material-providers | 1.6.0 | 1.9.0 |
| ~ Updated | software.amazon.smithy.dafny » conversion | 0.1 | 0.1.1 |