)]}'
{
  "id": "cb9490a16d885a124f39fb2c3e4b273208469e8c",
  "repo": "boringssl.git",
  "revision": "85c8f300b4349a239bda5cfde51cbb57b4dd0d4e",
  "path": "third_party/fiat/bedrock_unverified_platform.c.inc"
}