m

Author: ajewellamz

releases/rust/db_esdk/Cargo.toml

@@ -24,7 +24,7 @@ aws-sdk-kms = "1.50.0"
 aws-smithy-runtime-api = {version = "1.7.3", features = ["client"] }
 aws-smithy-types = "1.2.9"
 chrono = "0.4.38"
-dafny_runtime = "0.1.0"
+dafny-runtime = "0.1.0"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.41.1", features = ["full"] }