)]}'
{
  "commit": "6d117b725b7acbbbba973af94b3878927c96ef44",
  "tree": "61ac4a2b5852d763875e2d3835da5ee8d38d5382",
  "parents": [
    "299c162df4a1e27da34a9cba8df8a879a16ec052"
  ],
  "author": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Sun Feb 18 22:37:45 2024 -0800"
  },
  "committer": {
    "name": "Joe Hendrix",
    "email": "joe@lean-fro.org",
    "time": "Sun Feb 18 22:37:45 2024 -0800"
  },
  "message": "fix: fix non-gmp path\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "7395ae0235d4140bc0f1025c616b0667a457f75d",
      "old_mode": 33188,
      "old_path": "src/runtime/mpz.cpp",
      "new_id": "8dc4a71c7d3c740a22fe6e572e89d220676ba3ee",
      "new_mode": 33188,
      "new_path": "src/runtime/mpz.cpp"
    },
    {
      "type": "modify",
      "old_id": "3fe50ad070affca0ce97706b84afb32f8a417a47",
      "old_mode": 33188,
      "old_path": "tests/lean/int_div_mod.lean",
      "new_id": "6bc9b1a3239325c5b59206d012baf521e1f6eb53",
      "new_mode": 33188,
      "new_path": "tests/lean/int_div_mod.lean"
    }
  ]
}