)]}'
{
  "id": "2be140587801289aee116169dfd63f0e68e287d5",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "663d46bce9f2c77a185690ff7ff5985ab636da7f",
  "path": "src/runtime/mpz.cpp"
}