1 # THIS FILE IS AUTOMATICALLY GENERATED BY CARGO
3 # When uploading crates to the registry Cargo will automatically
4 # "normalize" Cargo.toml files for maximal compatibility
5 # with all versions of Cargo and also rewrite `path` dependencies
6 # to registry (e.g., crates.io) dependencies.
8 # If you are reading this file be aware that the original Cargo.toml
9 # will likely look very different (and much more reasonable).
10 # See Cargo.toml.orig for the original contents.
16 authors = ["Fiat Crypto library authors <jgross@mit.edu>"]
17 description = "Fiat-crypto generated Rust"
18 homepage = "https://github.com/mit-plv/fiat-crypto"
20 license = "MIT OR Apache-2.0 OR BSD-1-Clause"
21 repository = "https://github.com/mit-plv/fiat-crypto"