)]}'
{
  "id": "5c125535d3751289c367e940470356b422e1d1c0",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "cf3bbd7e25cbd3b1044c861508e2ea5d47040dc5",
  "path": "src/runtime/object.cpp"
}