)]}'
{
  "commit": "f4cc0374aa214ce3d2d78846a1d5fad18d3c7e9a",
  "tree": "a8b2cb7478517652c6e22c4cf20d356abbadbc02",
  "parents": [
    "c641353a4428377b9bf4c3cb6d6a79a536f1e567"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Mar 01 22:08:14 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Mar 01 22:08:14 2024 -0800"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "63a859db5a4f9338ab542f1cb7cdb0d784a476f8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Class.c",
      "new_id": "f54689df1c608af04b0f83cd6547c222a5f1c766",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Class.c"
    },
    {
      "type": "modify",
      "old_id": "45e219ca6eb3f3dd2adc44dfdee965b94cb7e82a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c",
      "new_id": "6fde380594593ae0dbf7272d85b3192b0c21b638",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/FVarUtil.c"
    },
    {
      "type": "modify",
      "old_id": "ce028e7eb5c22bc6573f519cf1212b29dc992d65",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab.c",
      "new_id": "e03451d568bda83903a4a6f14e87da7820f135c4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab.c"
    },
    {
      "type": "modify",
      "old_id": "852c184c173012195746634a311b4562407e385e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Do.c",
      "new_id": "b7f3e74bb192bd85c9cd0b1531a4fcedf3fe4462",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Do.c"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3dee48a45c16a797076a4c73cef43c5cf1b282d5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MatchExpr.c"
    },
    {
      "type": "modify",
      "old_id": "e01e2c74c14dbf4a89ff0d6f3c95b08b8ab9086a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Expr.c",
      "new_id": "9ac0034cd78f5b7851e573339375449c1d264b9d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Expr.c"
    },
    {
      "type": "modify",
      "old_id": "9a7a4fb0295e008037643aae57a184d35226b233",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Basic.c",
      "new_id": "1ca4ee3bd7d785b48b344ba6df31a41ba18db85d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "4f20acc2b84d3c3f29a1d23fa710a7396c7fd6a1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Closure.c",
      "new_id": "9e3e4c29af4af70aa8f6b146c7334d5183b53ca3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Closure.c"
    },
    {
      "type": "modify",
      "old_id": "ec44b713533fb5ba3a2a4b0ff721aaae0aa982bd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ExprLens.c",
      "new_id": "2565b211c36cf8f38c335a148bcc93db1496a429",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ExprLens.c"
    },
    {
      "type": "modify",
      "old_id": "7f2317a9734bdb537f7a5c4993fdad309c1f5d59",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c",
      "new_id": "87f5d6df4fef0ee89307d44e907887fd5e51e483",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c"
    },
    {
      "type": "modify",
      "old_id": "e7c9aa7ccfec549d417491755183e868e2a76716",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c",
      "new_id": "77f38bb110663b87d45620a33f7819df888769b4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpTheorems.c"
    },
    {
      "type": "modify",
      "old_id": "590d8849ea24554f38a2f27c09572d2d2c18c2ed",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c",
      "new_id": "5435101d2e3bd156b1c1e9ef28c34d474bd6f422",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Types.c"
    },
    {
      "type": "modify",
      "old_id": "23657e5ba818dff53d9440f6092bde73758467a4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Transform.c",
      "new_id": "913e6e2fe37351275581794db1680fa433400c07",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Transform.c"
    },
    {
      "type": "modify",
      "old_id": "400f19546374cb238af4d5b37cd60b0756677959",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/MetavarContext.c",
      "new_id": "3a70d9342ac29c9b30477811142c9f3715539500",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/MetavarContext.c"
    }
  ]
}