)]}' { "id": "faed049dc265ff74406e54fdb08251d1dd297e19", "repo": "third_party/boringssl/boringssl", "revision": "361e3e0aba458b0e91bb80b88adf84986dfa45b0", "path": "third_party/fiat/curve25519_64.h" }