)]}'
{
  "id": "c5dcc047e4392390df86977fd907cba4f3584f94",
  "repo": "boringssl.git",
  "revision": "a62dbf88d8a3c04446db833a1eb80a620cb1514d",
  "path": "third_party/fiat/internal.h"
}