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) 5License: MIT 6License File: LICENSE 7Security Critical: yes 8Shipped: yes 9 10Description: 11See README.md and METADATA. 12