Telegram-Android/TMessagesProj/jni/boringssl/third_party/fiat/METADATA

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: "4441785fb44b88bb6943ddbf639d872c8c903281"
  last_upgrade_date { year: 2019 month: 1 day: 16 }

  local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code"
}
Update to 4.9.0 2018-07-30 04:07:02 +02:00			`name: "fiat"`
Update to 5.13.0 (1818) 2019-12-31 14:08:08 +01:00			`description: "Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives."`
Update to 4.9.0 2018-07-30 04:07:02 +02:00
			`third_party {`
			`url {`
			`type: GIT`
			`value: "https://github.com/mit-plv/fiat-crypto"`
			`}`
Update to 5.13.0 (1818) 2019-12-31 14:08:08 +01:00			`version: "4441785fb44b88bb6943ddbf639d872c8c903281"`
			`last_upgrade_date { year: 2019 month: 1 day: 16 }`
Update to 4.9.0 2018-07-30 04:07:02 +02:00
			`local_modifications: "Fiat-generated code has been integrated into existing BoringSSL code"`
			`}`