aws-dafny-runtime
| Crates.io | aws-dafny-runtime |
| lib.rs | aws-dafny-runtime |
| version | 0.1.1 |
| created_at | 2024-12-04 16:06:43.020719+00 |
| updated_at | 2024-12-04 16:52:17.982872+00 |
| description | Accidental thing put in the wrong place |
| homepage | |
| repository | https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust |
| max_upload_size | |
| id | 1472259 |
| size | 321,501 |
Andrew Jewell (ajewellamz)
documentation
README
Do not use this crate. Use the dafny-runtime crate instead.