)]}'
{
  "commit": "e7520989c72213d232d503e0bfa80cfc6e5e0c4e",
  "tree": "70f2ed2d5e44e3f47377f37b2e302a1fd4cac7a6",
  "parents": [
    "7cd1f9407c15ca66f568910ff004aee88ba6d3c1"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jun 30 23:00:31 2025 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jun 30 23:00:33 2025 +0200"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "29b93feed6c5f52c358f9ff0bfd98cdd1c403a8b",
      "old_mode": 33188,
      "old_path": "stage0/src/CMakeLists.txt",
      "new_id": "e74ec86be4898dad81bf9ed561d3ae51e06e9531",
      "new_mode": 33188,
      "new_path": "stage0/src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "c8635820d5d300f1bf7f10368139f3d9fbdb31a4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/Fin/Lemmas.c",
      "new_id": "acbc9b871175c72249abc1b9da72b4369e30185d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/Fin/Lemmas.c"
    },
    {
      "type": "modify",
      "old_id": "362ef7fc5e6ef5c589297a7b40bf2423b6e886b6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/CommRing/Fin.c",
      "new_id": "a0f0e100e6dd8ec7907721d26e8ad5609a12cba9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/CommRing/Fin.c"
    },
    {
      "type": "modify",
      "old_id": "a5accf36036941beff4be5867d942e2c8750fb4f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/CommRing/Poly.c",
      "new_id": "4c516949f548c38711e233af8cb468f48804a67a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/CommRing/Poly.c"
    },
    {
      "type": "modify",
      "old_id": "1179e3113f0b697da57fca43ccee54a881fe41c9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Tactics.c",
      "new_id": "ff151d33e03ded677865ed6014e8dc45b98a22eb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Tactics.c"
    },
    {
      "type": "modify",
      "old_id": "883814c1aff34c2903b5ceaed8e5a62751c13389",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Grind/Util.c",
      "new_id": "3b3e007ec5b7a515ce1cfbaec5c6daeaf9d2a997",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Grind/Util.c"
    },
    {
      "type": "modify",
      "old_id": "7226efd9a57d2e0c2f8768b78351d1aa8b78d6e2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/AddDecl.c",
      "new_id": "56681fa0bfa664501a0cc317b30739f88696d024",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/AddDecl.c"
    },
    {
      "type": "modify",
      "old_id": "28d0b4249324073f2fa3c34c27701645bc1ee0a6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c",
      "new_id": "e10a1ecdbc4c54374d05d6787a2effbe5aebc5b6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Main.c"
    },
    {
      "type": "modify",
      "old_id": "8ff5176858f14dd0608e10335ddcaf787dabaafd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c",
      "new_id": "8d252039d547fe5abb8360f1954dbfbd77d6a41f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/Simp/SimpValue.c"
    },
    {
      "type": "modify",
      "old_id": "41456e51724f19d59a312e2d01d25b5d633754d9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c",
      "new_id": "70187b2860d12360c6fa16b3b361ae6b341c846d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/LCNF/ToMono.c"
    },
    {
      "type": "modify",
      "old_id": "7a4198d88cd1d70a803291401d0bc5e191d21704",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/Main.c",
      "new_id": "e63d9846acd5634bbe79299717d503d17eb309ad",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/Main.c"
    },
    {
      "type": "modify",
      "old_id": "7f04b686c0824be667796b2d5a37a4aaa619755f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c",
      "new_id": "e4de3be0096bd88a24aadbdb2ab1251497c8101f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/ParseImportsFast.c"
    },
    {
      "type": "modify",
      "old_id": "85162dcf4ff4c535342cfa4f7637e65df526416b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Grind.c",
      "new_id": "60c882e79920a7920c10f1a0e5183f0422a9b77d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Grind.c"
    },
    {
      "type": "modify",
      "old_id": "ed5e5de898d772631b6b8ea93d56788c493682a5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Environment.c",
      "new_id": "4f18baae88fa84a20befc7b0665bb1ad328674b5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Environment.c"
    },
    {
      "type": "modify",
      "old_id": "c9ee0f9107c9b28a14cd76052927482544e5d3e1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c",
      "new_id": "113972ba32034546664fe8925b179f0ceb68ba56",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/EqCnstr.c"
    },
    {
      "type": "modify",
      "old_id": "ab3a3d40f2b0416e266b73c67b3497bc9dc2897f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c",
      "new_id": "a7f20b8d75e507571c7896e3aa0fda2da9ebc2d9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Internalize.c"
    },
    {
      "type": "modify",
      "old_id": "8f2e688178e6cc34351302e25354929ea799de65",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c",
      "new_id": "d9c1ad93c1196a08c4000b969d38e992c5871e05",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Proof.c"
    },
    {
      "type": "modify",
      "old_id": "a7509bff7c9eee1f35dcd8e8bcf25de8361cd923",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c",
      "new_id": "d2b1c593eceff773facb26e0d7e58e53ab73c188",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/Reify.c"
    },
    {
      "type": "modify",
      "old_id": "5390dadb42379bde8e977eb3054b6f213862902a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c",
      "new_id": "1e6cb66fe4e78603756cc76928e7c9038baa1fd0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/CommRing/RingId.c"
    },
    {
      "type": "modify",
      "old_id": "4cbee530a328f63ae7e9a98a4c23df8ac0440352",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c",
      "new_id": "1a594c3ede5dcae0bd937f261931801ee2eec2aa",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/Arith/Cutsat/EqCnstr.c"
    },
    {
      "type": "modify",
      "old_id": "6a2a8bf53109ada449572fe28de5764428d6b8ac",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c",
      "new_id": "bff1ed98ea24f87382a0a35142a8cb0c86a055ef",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Grind/EMatchTheorem.c"
    }
  ]
}