)]}'
{
  "commit": "c41327afffafeb190822ac748fbe240515ed4548",
  "tree": "f3401d122641770907c316d17791cc6972879b62",
  "parents": [
    "73bc2a9c6cc5c5e9caaaa2568ff2ba1569f699fc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 13:36:20 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 13:36:20 2024 -0800"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "391272482eb1530e174459486c6c9927dd488ee3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c",
      "new_id": "d978aba63df3ebd4dc27387f984f93c9bb61a271",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/PassManager.c"
    },
    {
      "type": "modify",
      "old_id": "da48548370692a34e20d4d463bdeb1d24a55ecc4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c",
      "new_id": "e144c26c278b01f412634975aa619432cb691f7b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c"
    },
    {
      "type": "modify",
      "old_id": "b54e74f82725723c20782078b1cd220a1e3973f3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c",
      "new_id": "deb4913792c452f9b6dc68b03058c4506942b472",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c"
    },
    {
      "type": "modify",
      "old_id": "457af39ee1b8956ea1a6e2dbbfbe3df3c57bcdfb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Instances.c",
      "new_id": "e56db86b83fdd4bb12bcef098714c5aa35038825",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Instances.c"
    },
    {
      "type": "modify",
      "old_id": "d91c1fb480f9f488fffb75a874fa325ad83125a5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c",
      "new_id": "60b59be82afdc5f2c34613f0ba946d7f51c8ae9a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/LibrarySearch.c"
    },
    {
      "type": "modify",
      "old_id": "4c5a4281260a05d3e2f4f1a6059f0355de8edc21",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c",
      "new_id": "8c0951b0ce2c329c6f27113527535109dc4415b3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "f56697ed400421a550ec882bc7d0e522baa4e012",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c",
      "new_id": "06587e933a69adf91038b0f207fa6e7c83111111",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c"
    },
    {
      "type": "modify",
      "old_id": "36eed8f81855797dc6a47774a70a5242723d7e75",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c",
      "new_id": "173db7f5a0c5b021e262206988ea20d3831139cf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Symm.c"
    },
    {
      "type": "modify",
      "old_id": "3c48640536aa8e26bf7e0e2eafd7e90f21a620c3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c",
      "new_id": "bd3cd0f3d064b015b7d1c26db43461503e202774",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c"
    }
  ]
}