)]}'
{
  "commit": "38fd61ddd733eb15c13880150cc11e33a5ec2ad9",
  "tree": "91a161d5a010e24569f262c28c4cddbc25bee70f",
  "parents": [
    "4106593de7655fb68307c39d52de9230b9883ef9"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 05 14:07:28 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 05 14:07:28 2024 -0800"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cdbbe536601554dd960aae79fdffd27c2dbdcd5b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c",
      "new_id": "2176c9adf5183ca238253d8c0bd21f07da80daf1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/WF/Eqns.c"
    },
    {
      "type": "modify",
      "old_id": "484b30b71e2c0899be0e2b159151655170cab2b9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c",
      "new_id": "c35555cc69ef717b3f4650b150a52b879cae07db",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Pattern.c"
    },
    {
      "type": "modify",
      "old_id": "1003b981bba1f11c2533e33f5d96b14093883f7d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Simp.c",
      "new_id": "23a676a70efeaa8b1f39a85b9c0165e886edb76d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Conv/Simp.c"
    },
    {
      "type": "modify",
      "old_id": "b14b85ca72d25288cd443ca33dc98542ed6580c0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c",
      "new_id": "3e435240c0b6cfec0ca62eafe4e68a5e2c5c0ab6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/NormCast.c"
    },
    {
      "type": "modify",
      "old_id": "f6e2d850d7c03c00740b3d316ff0f1b60906b606",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c",
      "new_id": "1e82509e3ccffe01a437de1fa1eb0de0c849bb71",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Simp.c"
    },
    {
      "type": "modify",
      "old_id": "65c5a51fcbb20f87d20cc14f7c641222bb7d88c1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c",
      "new_id": "e52b580efa27b67014afdb83a10b9b464280bf03",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/SimpTrace.c"
    },
    {
      "type": "modify",
      "old_id": "819decae2fe19a97adaaadcbbb146ff41d69e257",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c",
      "new_id": "ddfe8f9f65c2780d2b84c011eb188d0cc6d922df",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/AC/Main.c"
    },
    {
      "type": "modify",
      "old_id": "549a53fc7a02ac0d730c2618e1ea06a5df88965a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c",
      "new_id": "9bf614fc508566222df43cd0e9dc1b8f5623be66",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/BuiltinSimprocs/UInt.c"
    },
    {
      "type": "modify",
      "old_id": "7f1ba97fb0ac0c42e33e8abbd8d6dc72e539e70b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c",
      "new_id": "c22e6b2eff5883074cbbfab1c4507e7b55f320d8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c"
    },
    {
      "type": "modify",
      "old_id": "38d1e1c7c3f57eac530e47e9219769a7bc73b1f1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c",
      "new_id": "f411ad77278d0781598cd5099f531563ff74849c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "4a3fb85241e5db4c9759d18a965c5e4e5382f67d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c",
      "new_id": "fdf4e8483f679393cbdd446e4bad8139442e71a7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Simproc.c"
    },
    {
      "type": "modify",
      "old_id": "438328dafd4b902dca040c939c0cf24b51062431",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c",
      "new_id": "a7b58fb42cfe1d77b17008d064b97a83c14f400c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c"
    },
    {
      "type": "modify",
      "old_id": "1f87514a74b1f8234a958601d654f7e9c7d4d39c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c",
      "new_id": "a6681d26d884c83133974446b8004eeedfeddcfb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Split.c"
    },
    {
      "type": "modify",
      "old_id": "8ef9d53285d8ea31e745f7a5caca44c0dbd79d8f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c",
      "new_id": "5a13ab2f7bc5befee29bee8b83778c2513a7a75a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Unfold.c"
    }
  ]
}