We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 0e4fd02 commit 77c4a8aCopy full SHA for 77c4a8a
releases/rust/db_esdk/dafny_runtime_rust/Cargo.toml
@@ -2,6 +2,12 @@
2
name = "dafny_runtime"
3
version = "0.3.0"
4
edition = "2021"
5
+keywords = ["dafny"]
6
+license = "ISC AND (Apache-2.0 OR ISC)"
7
+description = "dafny-runtime is the runtime support library for Rust code gerated from Dafny."
8
+repository = "https://github.com/aws/aws-database-encryption-sdk-dynamodb/tree/main/releases/rust/db_esdk/dafny_runtime_rust"
9
+authors = ["AWS-CryptoTools"]
10
+readme = "README.md"
11
12
[dependencies]
13
once_cell = "1.21.3"
0 commit comments