)]}'
{
  "id": "866cc5809398c2f3774859fc74257bd7552f563b",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "663213fc1b06c9d8f3f64dc9f26a7bfb5b3b02df",
  "path": "src/runtime/object.cpp"
}