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