m

Author: ajewellamz

releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml

@@ -1,10 +1,10 @@
 [package]
-name = "aws-dafny-runtime"
+name = "dafny-runtime"
 version = "0.1.1"
 edition = "2021"
 keywords = ["dafny"]
 license = "ISC AND (Apache-2.0 OR ISC)"
-description = "Accidental thing put in the wrong place"
+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 +1 @@
-Do not use this crate. Use the dafny-runtime crate instead.
+This is the runtime support library for Rust code generated from Dafny.