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