1Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives 2Short Name: fiat-crypto 3URL: https://github.com/mit-plv/fiat-crypto 4Version: git (see METADATA) 5Revision: 6ccc6638716d4632304baf1adbb5c47c3a12ea6f 6License: MIT 7License File: LICENSE 8Security Critical: yes 9Shipped: yes 10 11Description: 12See README.md and METADATA. 13