)]}'
{
  "commit": "3bf8a7f8d20321bdeae2997fc247a4eff2d0838f",
  "tree": "0ed1fcc64baf5ab4988d113a43fbd131c6f2ccc3",
  "parents": [
    "a03c856ba81070fc4039ffae419950a39823bd3b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat May 18 20:49:44 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Sat May 18 20:49:44 2024 -0700"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ba6acaa0e5dd864710ab1985fcda025f222ef3b1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/NotationExtra.c",
      "new_id": "b2e4c564a2e6e8bece1d63837580fafe6c915f2a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/NotationExtra.c"
    },
    {
      "type": "modify",
      "old_id": "cec5aca5218147369d1a0df047b241f555e7da48",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Calc.c",
      "new_id": "0ecc859816712c9426c2422fb1cd99bdd40f35c9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Calc.c"
    },
    {
      "type": "modify",
      "old_id": "91ece07c78e632b2c00dca57c01e3ee75e025774",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c",
      "new_id": "42638f1c5e92d5528b290cda5745ae3d5f36f6bb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/BuiltinTactic.c"
    },
    {
      "type": "modify",
      "old_id": "bf103be3305a23ef2239c8bae1b306ee26850ef7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c",
      "new_id": "d836adbcb0c93b4323f94ca33f8169e0270daf4a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Calc.c"
    }
  ]
}