)]}'
{
  "id": "ac37cea1757e16376ea80cc8e1c388da9b387db2",
  "repo": "third_party/github.com/leanprover/lean4",
  "revision": "d1490f1cc258071e7e8a6aeccb3d0566eef88aa8",
  "path": "src/runtime/mpz.cpp"
}