| name: "fiat" | |
| description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives." | |
| third_party { | |
| url { | |
| type: GIT | |
| value: "https://github.com/mit-plv/fiat-crypto" | |
| } | |
| version: "6ccc6638716d4632304baf1adbb5c47c3a12ea6f" | |
| last_upgrade_date { year: 2022 month: 3 day: 22 } | |
| local_modifications: "Files renamed to .h for BoringSSL integration. LICENSE file is LICENSE-MIT from upstream." | |
| } |