Built motion from commit 6a09e18b.|2.6.11

[motion2.git] / legacy-libs / grpc-cloned / deps / grpc / third_party / boringssl / third_party / fiat / README.chromium

diff --git a/legacy-libs/grpc-cloned/deps/grpc/third_party/boringssl/third_party/fiat/README.chromium b/legacy-libs/grpc-cloned/deps/grpc/third_party/boringssl/third_party/fiat/README.chromium
new file mode 100644 (file)
index 0000000..73c5ba2
--- /dev/null
+++ b/legacy-libs/grpc-cloned/deps/grpc/third_party/boringssl/third_party/fiat/README.chromium
@@ -0,0 +1,10 @@
+Name: Fiat-Crypto: Synthesizing Correct-by-Construction Code for Cryptographic Primitives
+Short Name: fiat-crypto
+URL: https://github.com/mit-plv/fiat-crypto
+Version: git (see METADATA)
+License: MIT
+License File: LICENSE
+Security Critical: yes
+
+Description:
+See README.md and METADATA.