diff options
Diffstat (limited to 'src/third_party/fiat/METADATA')
-rw-r--r-- | src/third_party/fiat/METADATA | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/src/third_party/fiat/METADATA b/src/third_party/fiat/METADATA index e527c140..339fe5f8 100644 --- a/src/third_party/fiat/METADATA +++ b/src/third_party/fiat/METADATA @@ -6,8 +6,8 @@ third_party { type: GIT value: "https://github.com/mit-plv/fiat-crypto" } - version: "0884b6d374a9d937c44bf024fe3a647ffae2c540" - last_upgrade_date { year: 2020 month: 4 day: 16 } + version: "6ccc6638716d4632304baf1adbb5c47c3a12ea6f" + last_upgrade_date { year: 2022 month: 3 day: 22 } - local_modifications: "Files renamed to .h for BoringSSL integration. Select functions patched with value barriers." + local_modifications: "Files renamed to .h for BoringSSL integration. LICENSE file is LICENSE-MIT from upstream." } |