[]
= "fiat-crypto"
= "0.1.1"
= ["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"
# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
[]