m

ajewellamz · ajewellamz · commit bd92393f546c · 2024-12-04T11:52:09.000-05:00
diff --git a/releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml b/releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml
@@ -1,10 +1,10 @@
 [package]
-name = "dafny-runtime"
-version = "0.1.0"
+name = "aws-dafny-runtime"
+version = "0.1.1"
 edition = "2021"
 keywords = ["dafny"]
 license = "ISC AND (Apache-2.0 OR ISC)"
-description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
+description = "Accidental thing put in the wrong place"
 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"
diff --git a/releases/rust/db_esdk/dafny_runtime_rust/README.md b/releases/rust/db_esdk/dafny_runtime_rust/README.md
@@ -1 +1 @@
-This is the runtime support library for Rust code gerated from Dafny.
+Do not use this crate. Use the dafny-runtime crate instead.

Original file line number	Diff line number	Diff line change
`@@ -1 +1 @@`
`1`		`-This is the runtime support library for Rust code gerated from Dafny.`
	`1`	`+Do not use this crate. Use the dafny-runtime crate instead.`