mirror of
https://boringssl.googlesource.com/boringssl
synced 2026-07-21 14:43:51 +00:00
David Benjamin
24720b76bb
After https://boringssl-review.googlesource.com/c/boringssl/+/75852, we started using LICENSE-APACHE instead of LICENSE-MIT. Change-Id: I889154950c876ed37fce7cfcdf7c866685d9cfca Reviewed-on: https://boringssl-review.googlesource.com/c/boringssl/+/98347 Reviewed-by: Lily Chen <chlily@google.com> Auto-Submit: David Benjamin <davidben@google.com> Commit-Queue: David Benjamin <davidben@google.com> Commit-Queue: Lily Chen <chlily@google.com>
14 lines
433 B
Plaintext
14 lines
433 B
Plaintext
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-APACHE from upstream."
|
|
}
|