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 = { path = "./dafny_runtime_rust"}
+dafny_runtime = "0.1.0"
 dashmap = "6.1.0"
 pem = "3.0.4"
 tokio = {version = "1.41.1", features = ["full"] }

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,10 +1,10 @@
 [package]
-name = "aws-dafny-runtime"
+name = "dafny-runtime"
 version = "0.1.0"
 edition = "2021"
 keywords = ["dafny"]
 license = "ISC AND (Apache-2.0 OR ISC)"
-description = "aws-dafny-runtime is the runtime support library for Rust code gerated from Dafny."
+description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
 repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust"
 authors = ["AWS-CryptoTools"]
 readme = "README.md"

releases/rust/db_esdk/dafny_runtime_rust/README.md

@@ -1,3 +1 @@
 This is the runtime support library for Rust code gerated from Dafny.
-
-It will probably be deprecated, once the Dafny team publishes their own.