)]}'
{
  "id": "da0a6f9d6dce31cd125ec5ba393d057dd4e35d7f",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "00e3004ce5152c4182c9d046f59e3b72f714e4cd",
  "path": "src/util/init_module.cpp"
}