)]}'
{
  "id": "a03388bd0fa360fa78ac090ec1844abaa2296fd9",
  "repo": "boringssl.git",
  "revision": "7976725593fe5d36a4d7a9f89990ecfde2c90dd3",
  "path": "third_party/fiat/bedrock_unverified_bareminimum.c.inc"
}