From 578ad0cef67f220b5ba5abb3308452fb0ec3b4b0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Fran=C3=A7ois=20Garillot?= <francois@garillot.net>
Date: Fri, 31 Jan 2020 09:36:03 -0800
Subject: [PATCH] Adjust Cargo.toml declaration

Crates.io author field being a contact address, used maintainer email.
---
 AUTHORS              | 1 +
 fiat-rust/Cargo.toml | 9 +++++++--
 2 files changed, 8 insertions(+), 2 deletions(-)

diff --git a/AUTHORS b/AUTHORS
index 31d71c2115..b67f8f97c1 100644
--- a/AUTHORS
+++ b/AUTHORS
@@ -14,3 +14,4 @@ Andres Erbsen <andreser@mit.edu>
 Google Inc.
 Jade Philipoom <jadep@mit.edu> <jade.philipoom@gmail.com>
 Massachusetts Institute of Technology
+Zoe Paraskevopoulou <zoe.paraskevopoulou@gmail.com>
\ 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 <zoopar@fb.com>"]
+authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
 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