)]}'
{
  "id": "b09e84e6a7f40c145db1c78d9bf42dafdbfd977d",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "1cce4c7e1ab736b4e82129630a637b3a9eee7eb3",
  "path": "src/runtime/object.cpp"
}