)]}'
{
  "id": "be3e265a5521a0681d99a4438f152649f704acbe",
  "repo": "boringssl",
  "revision": "f37eb8d6a8fa618cc7e897ae7fc6e02b0632157b",
  "path": "third_party/fiat/internal.h"
}