diff --git a/AUTHORS b/AUTHORS index 31d71c2115..b67f8f97c1 100644 --- a/AUTHORS +++ b/AUTHORS @@ -14,3 +14,4 @@ Andres Erbsen Google Inc. Jade Philipoom Massachusetts Institute of Technology +Zoe Paraskevopoulou \ No newline at end of file diff --git a/fiat-rust/Cargo.toml b/fiat-rust/Cargo.toml index 8a3a94c293..d1750f09bc 100644 --- a/fiat-rust/Cargo.toml +++ b/fiat-rust/Cargo.toml @@ -1,8 +1,13 @@ [package] -name = "fiat-rust" +name = "fiat-crypto" version = "0.1.0" -authors = ["Zoe Paraskevopoulou "] +authors = ["Fiat Crypto library authors "] edition = "2018" +description = "Fiat-crypto generated Rust" +homepage = "https://github.com/mit-plv/fiat-crypto" +repository = "https://github.com/mit-plv/fiat-crypto" +readme = "README.md" +license = "MIT" # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html