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