)]}'
{
  "id": "504da42d309befd4998ff59a96db49f434dd31df",
  "repo": "boringssl",
  "revision": "006f20ad7f9a6ce53b44390c0689f3690bf73ad1",
  "path": "third_party/fiat/p256_32.h"
}