Download Latest Version
4.1.1 -- 2025-10-14 source code.tar.gz (5.4 MB)
Get an email when there's a new version of AWS Encryption SDK for Dafny
| Name | Modified | Size | Downloads / Week |
|---|---|---|---|
| Parent folder | |||
| 3.1.0 -- 2022-09-07.tar.gz | 2022-09-02 | 480.0 kB | |
| 3.1.0 -- 2022-09-07.zip | 2022-09-02 | 658.7 kB | |
| README.md | 2022-09-02 | 1.2 kB | |
| Totals: 3 Items | 1.1 MB | 0 | |
3.1.0
Fixes
- chore: pack README for display on NuGet page (https://github.com/aws/aws-encryption-sdk-dafny/pull/585)
- fix: add DiscoveryFilter to MRK Discovery Keyring example (https://github.com/aws/aws-encryption-sdk-dafny/pull/581)
- docs: fix .NET ESDK link in README (https://github.com/aws/aws-encryption-sdk-dafny/pull/589)
- docs: fix .NET ESDK package name in README (https://github.com/aws/aws-encryption-sdk-dafny/pull/600)
- docs: link to macOS setup wiki in README (https://github.com/aws/aws-encryption-sdk-dafny/pull/601)
Maintenance
- chore: update generated KMS code (https://github.com/aws/aws-encryption-sdk-dafny/pull/580)
- chore: use public spec URL for submodule (https://github.com/aws/aws-encryption-sdk-dafny/pull/586)
- fix: use renamed directories for Duvet report (https://github.com/aws/aws-encryption-sdk-dafny/pull/587)
- chore: bump Newtonsoft.Json in test vector projects (https://github.com/aws/aws-encryption-sdk-dafny/pull/595)
- feat: add user agent to default KMS clients (https://github.com/aws/aws-encryption-sdk-dafny/pull/598)
- ci: use .NET 6.0 for release buildspecs (https://github.com/aws/aws-encryption-sdk-dafny/pull/602)
