)]}'
{
  "commit": "4ce509b3a5e402106a63960d647aea37c793d378",
  "tree": "6e70fdfb345b2594c2274d67ea9b6ea9152b39a7",
  "parents": [
    "2873696ca67bdd51f383f077c8ca42e0f005f6d0"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jul 07 18:32:50 2024 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sun Jul 07 18:32:50 2024 +0200"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "374f6995984203ab7b687c43e70557840083cef5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lake/Toml/ParserUtil.c",
      "new_id": "1cebbb94ed05f07b5f428b8e9fb2d3bcbb8267a7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lake/Toml/ParserUtil.c"
    },
    {
      "type": "modify",
      "old_id": "1b1ee2b547faabc375012645c4c5e8a132cd7afe",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c",
      "new_id": "0ca1fe80bc9c6311472b173de1b7a953288d85e9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c"
    },
    {
      "type": "modify",
      "old_id": "3fb199863c47a16694026ae22a576c85fb9214d7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Command.c",
      "new_id": "a36068cbb84009db403948b24b610f94bc6ae2e7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Command.c"
    },
    {
      "type": "modify",
      "old_id": "fa5989872338e7b73f063e25384a5932705beb37",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Declaration.c",
      "new_id": "33d14b3418571376f293ebb9d06409ccdbf2ec55",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Declaration.c"
    },
    {
      "type": "modify",
      "old_id": "f3e03a663b1bbebc9a393fce3d5669fda6d6b15b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/DefView.c",
      "new_id": "6c63215a554798be4d92f67e74be97a39ae4a2bf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/DefView.c"
    },
    {
      "type": "modify",
      "old_id": "9285d66587b866ba3d5f023659683c57eaf628f2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c",
      "new_id": "07a5631b73b826c0662ee62efbdc6203f62e8752",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/BEq.c"
    },
    {
      "type": "modify",
      "old_id": "01db97b61d0be933ddf1d80d214dc5fbd1fb1e74",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c",
      "new_id": "ea0d7c5911812f935b73fa1c977140c0708cd6f3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/DecEq.c"
    },
    {
      "type": "modify",
      "old_id": "5918b9fd985c1d4d24ec8290748d8b55aad56f72",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c",
      "new_id": "43843f2413f344bc0f63a7989e72d6b6837f6b70",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Deriving/FromToJson.c"
    },
    {
      "type": "modify",
      "old_id": "8aea2bf56ebfaeda87e63e16db484307763e6e8d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/ElabRules.c",
      "new_id": "13db22836404b0d25e8e10c97dff832b3d82fd4b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/ElabRules.c"
    },
    {
      "type": "modify",
      "old_id": "de202d674a8be70c062c4655e3d7846adf4f7957",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Frontend.c",
      "new_id": "4625fe65fb95c6e1ba0f9f3e648074a56ed8951c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Frontend.c"
    },
    {
      "type": "modify",
      "old_id": "a8be0c927e2c6e2481919dfdafcb4087521a473b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c",
      "new_id": "1696d5698e1c885e46fc5b64c2edac5ffbfcbf78",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/GuardMsgs.c"
    },
    {
      "type": "modify",
      "old_id": "0669a9c18727198cb7517a20a5919de6c4bddc36",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Inductive.c",
      "new_id": "57a9e42284d2a6c4e4e13dbad852c59c1fd7fc45",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Inductive.c"
    },
    {
      "type": "modify",
      "old_id": "2b185863fc78d5f5d4fdd145126bbc02c105c743",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c",
      "new_id": "1f49e306b8b04ffcd636a617f289f07d7eb2ce53",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MacroArgUtil.c"
    },
    {
      "type": "modify",
      "old_id": "e832e8b515d33c317fa0e0ad1d15334bd84f30e1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MacroRules.c",
      "new_id": "8e63389cabe0a6b466c6440e3f1e4b0751ee396d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MacroRules.c"
    },
    {
      "type": "modify",
      "old_id": "5e4932f49ed6ae04b60c5a6ad6637783616ca26e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c",
      "new_id": "f70285b01b2ecf7ba2e30fc0f75ac6446f0abc30",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c"
    },
    {
      "type": "modify",
      "old_id": "a2f78d5475f60dd9a79da52f3b831e5c821aa82a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Print.c",
      "new_id": "5d52ea86ac1b9ddf0450bc32ecc959b51464ce30",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Print.c"
    },
    {
      "type": "modify",
      "old_id": "bf1d42cee62aab353816a21f731e72486f888997",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Syntax.c",
      "new_id": "c74e164577a50bf87e751ee8f9957245486ff8c8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Syntax.c"
    },
    {
      "type": "modify",
      "old_id": "ed591f8d856a551b8f43d8f08a16d5d6e895d323",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Doc.c",
      "new_id": "452c2ab9a4859aff6a732dcbbe7a1459259c318c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Doc.c"
    },
    {
      "type": "modify",
      "old_id": "c8ea973db355e419094f30f1abf8bc2a1ed1f486",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c",
      "new_id": "3e970ad1a28c5853d6461d30991877184b9497f0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/Ext.c"
    },
    {
      "type": "modify",
      "old_id": "76a14620d56eb1995aa5026cb6d3e1c36d75e9cb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Language/Basic.c",
      "new_id": "5929341b4d5fae8cf67f960262b5813d1d315b69",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Language/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "6b8e642522c771e9e7644328b0bfe7c521467c14",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Language/Lean.c",
      "new_id": "3151035aa44be0c87f2dfe9d2235099c4545d3a8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Language/Lean.c"
    },
    {
      "type": "modify",
      "old_id": "0eb8710702ef6bfa2defc63e4a03ec61a6e3af92",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Linter/Builtin.c",
      "new_id": "4fce4f5f139c969076a4930656c11b0a59deeaa9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Linter/Builtin.c"
    },
    {
      "type": "modify",
      "old_id": "9e7879f9dd9bafd4bb31f05441e2575b3e599dd6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Linter/MissingDocs.c",
      "new_id": "5829b50a0c1d2b8f7361a4e995a42f2ea7b0a6f1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Linter/MissingDocs.c"
    },
    {
      "type": "modify",
      "old_id": "0896a349a9f7d827acfc05e96aa2d7027e190787",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Parser/Extra.c",
      "new_id": "b723bce4f347abec412a2859b24d8c8da2a36499",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Parser/Extra.c"
    },
    {
      "type": "modify",
      "old_id": "e1183c4f0c28380c43bd69b2ba28ff829abeb1b7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c",
      "new_id": "3f2a21670d618cd6fbe31e375726986e94306a69",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Formatter.c"
    }
  ]
}