)]}'
{
  "id": "cb83c60620ebd99e86cdb09ebf015ce11a2086d0",
  "repo": "boringssl",
  "revision": "a1403cba9d015eed381bd2eced84ad399665d245",
  "path": "third_party/fiat/curve25519_32.h"
}