chore: bump smithy-dafny

AwsEncryptionSDK/runtimes/rust/Cargo.toml

@@ -2,7 +2,7 @@
 name = "aws-esdk"
 version = "0.1.0"
 edition = "2021"
-rust-version = "1.80.0"
+rust-version = "1.81.0"
 keywords = ["cryptography", "security", "dynamodb", "encryption", "client-side"]
 license = "ISC AND (Apache-2.0 OR ISC)"
 description = "aws-esdk is a library for implementing client side encryption."
@@ -16,14 +16,14 @@ readme = "README.md"
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.10"
-aws-lc-rs = "1.11.1"
-aws-lc-sys = "0.23.1"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
+aws-lc-sys = "0.22.0"
 aws-sdk-dynamodb = "1.55.0"
 aws-sdk-kms = "1.51.0"
 aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
-aws-smithy-types = "1.2.9"
-chrono = "0.4.38"
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 dafny-runtime = "0.1.1"
 dashmap = "6.1.0"
 pem = "3.0.4"

AwsEncryptionSDK/runtimes/rust/test_examples/Cargo.toml

@@ -1,19 +1,19 @@
 [package]
 name = "aws-esdk-examples"
 edition = "2021"
-rust-version = "1.80.0"
+rust-version = "1.81.0"
 
 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
 
 [dependencies]
-aws-config = "1.5.10"
-aws-lc-rs = "1.11.1"
-aws-lc-sys = "0.23.1"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
+aws-lc-sys = "0.22.0"
 aws-sdk-dynamodb = "1.55.0"
 aws-sdk-kms = "1.51.0"
 aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
-aws-smithy-types = "1.2.9"
-chrono = "0.4.38"
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 dafny-runtime = "0.1.1"
 dashmap = "6.1.0"
 pem = "3.0.4"

TestVectors/runtimes/rust/Cargo.toml

@@ -2,7 +2,7 @@
 name = "aws-esdk-test-vectors"
 version = "0.1.0"
 edition = "2021"
-rust-version = "1.80.0"
+rust-version = "1.81.0"
 description = "aws-esdk-test-vectors is a library for testing aws-esdk."
 authors = ["AWS-CryptoTools"]
 autoexamples = false
@@ -14,20 +14,20 @@ readme = "README.md"
 wrapped-client = []
 
 [dependencies]
-aws-config = "1.5.6"
-aws-lc-rs = "1.11.1"
-aws-lc-sys = "0.23.1"
-aws-sdk-dynamodb = "1.55.0"
-aws-sdk-kms = "1.51.0"
-aws-smithy-runtime-api = {version = "1.7.2", features = ["client"] }
-aws-smithy-types = "1.2.6"
-chrono = "0.4.38"
+aws-config = "1.5.11"
+aws-lc-rs = "1.12.0"
+aws-lc-sys = "0.22.0"
+aws-sdk-dynamodb = "1.56.0"
+aws-sdk-kms = "1.52.0"
+aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
+aws-smithy-types = "1.2.10"
+chrono = "0.4.39"
 dafny-runtime = "0.1.1"
 dashmap = "6.1.0"
 pem = "3.0.4"
 rand = "0.8.5"
 tokio = {version = "1.42.0", features = ["full"] }
-uuid = { version = "1.10.0", features = ["v4"] }
+uuid = { version = "1.11.0", features = ["v4"] }
 
 [dev-dependencies]
 aws-esdk-test-vectors = { path = ".", features = ["wrapped-client"] }