)]}'
{
  "id": "32fd4b2933b506a3daaff92f5a472baf8eec5847",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "8a96fde229f3662eebf0a0347f32ba66917f047a",
  "path": "src/tests/util/object.cpp"
}