[]
= "fiat-crypto"
= "0.1.20"
= ["Fiat Crypto library authors <jgross@mit.edu>"]
= "2018"
= "Fiat-crypto generated Rust"
= "https://github.com/mit-plv/fiat-crypto"
= "https://github.com/mit-plv/fiat-crypto"
= "README.md"
= "MIT OR Apache-2.0 OR BSD-1-Clause"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]
[]
= [ "std" ]
= []