Skip to content
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.

Commit a49a1fe

Browse files
committedDec 4, 2024··
m
1 parent b50d3f4 commit a49a1fe

File tree

2 files changed

+3
-3
lines changed

2 files changed

+3
-3
lines changed
 

‎DynamoDbEncryption/runtimes/rust/Cargo.toml

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name = "aws-db-esdk"
33
version = "0.1.0"
44
edition = "2021"
55
rust-version = "1.80.0"
6-
keywords = ["crypto", "cryptography", "security", "dynamodb", "ddb", "encryption", "client-side", "clientside"]
6+
keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
77
license = "ISC AND (Apache-2.0 OR ISC)"
88
description = "aws-db-esdk is a library for implementing client side encryption with DynamoDB."
99
homepage = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk"
@@ -24,7 +24,7 @@ aws-sdk-kms = "1.50.0"
2424
aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
2525
aws-smithy-types = "1.2.9"
2626
chrono = "0.4.38"
27-
dafny_runtime = { path = "../../../submodules/MaterialProviders/smithy-dafny/TestModels/dafny-dependencies/dafny_runtime_rust"}
27+
dafny-runtime = "0.1.1"
2828
dashmap = "6.1.0"
2929
pem = "3.0.4"
3030
tokio = {version = "1.41.1", features = ["full"] }

‎releases/rust/db_esdk/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -24,7 +24,7 @@ aws-sdk-kms = "1.50.0"
2424
aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
2525
aws-smithy-types = "1.2.9"
2626
chrono = "0.4.38"
27-
dafny-runtime = "0.1.0"
27+
dafny-runtime = "0.1.1"
2828
dashmap = "6.1.0"
2929
pem = "3.0.4"
3030
tokio = {version = "1.41.1", features = ["full"] }

0 commit comments

Comments
 (0)
Please sign in to comment.