)]}'
{
  "commit": "ac531291502e91fa4a47e893de85a974e92e54f9",
  "tree": "4f872e75a53de6ced50e68c178fe53fd728e7d3d",
  "parents": [
    "afcc08c14d253a927251a168826f22963d49ce33"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 06 11:54:58 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Aug 06 11:54:58 2021 +0200"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ce923cb5d66a525ddb1cb19c9e352c213b21b95d",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Compiler/InitAttr.lean",
      "new_id": "68c18671526a7a6f815aedb665991fbdaaadb646",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Compiler/InitAttr.lean"
    },
    {
      "type": "modify",
      "old_id": "619d69c015b22e736b08b9f9453882de19eebf73",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/Basic.lean",
      "new_id": "5dc60f77708ab98e79724dd570d792943d785684",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "eaa03b4bb6d5d4c0ce22132d350268e3f0ceaabd",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/ExprDefEq.lean",
      "new_id": "43f5557e43baa8e3417a487789c0db7000d37d70",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/ExprDefEq.lean"
    },
    {
      "type": "modify",
      "old_id": "c090d430af5262dfd0997efe9e26c5017a44f06f",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/SynthInstance.lean",
      "new_id": "c2a20250fffa58d2e2798255005504ba6d55c5e9",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/SynthInstance.lean"
    },
    {
      "type": "modify",
      "old_id": "8cafacd9ee00f3c66fb7de16cd31ff1b40d18810",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Meta/WHNF.lean",
      "new_id": "a472530d6bbfb11b108ba5efeedf438ab668f7d4",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Meta/WHNF.lean"
    },
    {
      "type": "modify",
      "old_id": "0bf5cfe37736402aaf3b5fa148db9b2daa5a008d",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Builtins.lean",
      "new_id": "fc6b780fe1cdd74e240ae79c1789383bdf73ad3e",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/PrettyPrinter/Delaborator/Builtins.lean"
    },
    {
      "type": "modify",
      "old_id": "ebb04e01849da03e45c43ce1fc6effd1eaa1b2c6",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/ProjFns.lean",
      "new_id": "9f2f866ceaf1a25f866d2cdad9d748154881db74",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/ProjFns.lean"
    },
    {
      "type": "modify",
      "old_id": "6b5e1493a29b3b2b5f527e03e8277578ab3fff34",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c",
      "new_id": "869dc5314c127e8e3b21e99eab09b2ab6babc9c0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c"
    },
    {
      "type": "modify",
      "old_id": "a0493e4171e888efecd1c6d65303d335a06cb032",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c",
      "new_id": "c827feaa9fd10693f31acd812c2dab077c731228",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c"
    },
    {
      "type": "modify",
      "old_id": "4a0c3d1c124e23b1bd8db23371b31851d5add47c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/App.c",
      "new_id": "d9128fe84ab7ab0f2f67de5030cb78ec714e6dec",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/App.c"
    },
    {
      "type": "modify",
      "old_id": "ec1bfd923076398eb478b3fb9fc92bf617aa0e9c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c",
      "new_id": "2278352a2549c868b466acd12a52f3b2cd567156",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c"
    },
    {
      "type": "modify",
      "old_id": "393cac1eab8be91279a9a0d6633117fe9e2219b7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Command.c",
      "new_id": "adcf13a1abe8f00ebbe381ff58cf73ab7d6e7094",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Command.c"
    },
    {
      "type": "modify",
      "old_id": "351f8bd4b8df2573d0e3eb0e10908f4277975f4c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/InfoTree.c",
      "new_id": "a77b8d65c51dc352f07d1f48f02947656e062705",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/InfoTree.c"
    },
    {
      "type": "modify",
      "old_id": "43c8afa710aa9c8cb98506120cfcef0d55751566",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Match.c",
      "new_id": "04ac5bc2aa94baca12dc9e9509cc71e666d01a2d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Match.c"
    },
    {
      "type": "modify",
      "old_id": "9a47e45944db26d0b995833c447a6f4d994786df",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/MutualDef.c",
      "new_id": "72e3b6809bd0cd8dfe3a9613ff8108abe2550640",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/MutualDef.c"
    },
    {
      "type": "modify",
      "old_id": "7852d72b0a5d3f4d664bd2fc049b9e33c8fd91df",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c",
      "new_id": "cc736ea703166fd7d298ace54e1349cf5f8e6ce4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/PreDefinition/Structural.c"
    },
    {
      "type": "modify",
      "old_id": "344ed6e51b2d57526cc138fdcdcabc21a88cbbb1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c",
      "new_id": "6a6b4e23ef2d520d8e1a262cf0a0d6447d7662cf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Tactic/ElabTerm.c"
    },
    {
      "type": "modify",
      "old_id": "3fed2208b39ca3d78369f10f62beb518b3fdf349",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Term.c",
      "new_id": "e11472797c19ca7961e1f85b917bdb83e8e45873",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "46d14e6bd5424e966f22a123603760081e8ce1e8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c",
      "new_id": "176c522ffd961d8452a186f2d4aa3b8dd2bdefe6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c"
    },
    {
      "type": "modify",
      "old_id": "7cac733a5eedcf228e2cfcd0180b6df5eeb1d606",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Basic.c",
      "new_id": "676837d23722b342cafe1445a3c1e02903bccdb6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "ed460c7574220ad9d12e72c3827c4ad78cacf8c6",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Check.c",
      "new_id": "5890486bcecaf2e59f3ced1d88fc17c2093e967e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Check.c"
    },
    {
      "type": "modify",
      "old_id": "2229667e78a46414c368e565448a8bb10f7d6fec",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Closure.c",
      "new_id": "53066e1fdca71e3836721ab087ba3701a0c0d388",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Closure.c"
    },
    {
      "type": "modify",
      "old_id": "cb85802dbec2e0cc41511efdf14c2cf80adebec2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Coe.c",
      "new_id": "5de314f6c9fa32d3d68a68b2bda30ab714c8c79e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Coe.c"
    },
    {
      "type": "modify",
      "old_id": "f5539df35a7d403dec3ff5eec26acfacccb2ca43",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/DiscrTree.c",
      "new_id": "80504b870bd2ae464d62086139e5193d1bd1a2e0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/DiscrTree.c"
    },
    {
      "type": "modify",
      "old_id": "65f34f85b8cf411c12ec9bdc7da942fda67c3ce4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c",
      "new_id": "e5c15bb46062b8659c94aa67316dbea8e33b01a2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ExprDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "e95a55eeed7bbd3185c8ec47a058902bfbfbfd42",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/FunInfo.c",
      "new_id": "7ad9daef7589a2069937caa07124281949d449bb",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/FunInfo.c"
    },
    {
      "type": "modify",
      "old_id": "1084e6abd7f03c12baa7b15d311dac153ec80796",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/InferType.c",
      "new_id": "a67aebf6c4b84ddbe1df2a2f27e70ed2051ecc8f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/InferType.c"
    },
    {
      "type": "modify",
      "old_id": "e914beb587020c9d38684566eb0450a95da942a3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Instances.c",
      "new_id": "3106021201b6fc73a260be8c71b2a8aafccfe687",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Instances.c"
    },
    {
      "type": "modify",
      "old_id": "aca8fa00ba47a3b256372840347bfa0962414985",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c",
      "new_id": "49b1241f620664bd1048f2baaa984827600d3259",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/LevelDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "09428db8bf84f3260e3f4fd0cafd0c69a0966dba",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c",
      "new_id": "69b85b52ee43efc8e1fc3e950625dad9e005e0a9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c"
    },
    {
      "type": "modify",
      "old_id": "ac450cadf8f865ebf0ab41e6fcc0b0b6382e5e33",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/ReduceEval.c",
      "new_id": "831580ec8232639dfa1517f4c261bf05cc467def",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/ReduceEval.c"
    },
    {
      "type": "modify",
      "old_id": "7a734833f2f0e65b771b4246d465d28e2d8dd6aa",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/SynthInstance.c",
      "new_id": "328077c092c8442f7dd778001e6ebd03742ec402",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/SynthInstance.c"
    },
    {
      "type": "modify",
      "old_id": "acfafbb8135f908864ec113f676aa5c4c1a59ac4",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c",
      "new_id": "4794c2d07c9c6f08326a249d1b424c2a8de84892",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Apply.c"
    },
    {
      "type": "modify",
      "old_id": "870adddee2bc8840ec3302b8f07b79e8c6768e8b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c",
      "new_id": "c29d00f46ca53090b2fc2cd0319a163db897d3e3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c"
    },
    {
      "type": "modify",
      "old_id": "6e3d184dbd88f1161223926e6bd7eb15f0aa3cfa",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c",
      "new_id": "df0fe99caca3f41ca674ee2803038cd79616d092",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Intro.c"
    },
    {
      "type": "modify",
      "old_id": "639f4bd614383d9b7b4282c54ad974db28924b8c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c",
      "new_id": "edebfdf10e0ffc3af5b7612717b1e4e2097dad21",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "808cd310d9ec2568c9aeb0967796a59becdaf4f1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/CongrLemmas.c",
      "new_id": "a1b4c05b73db3f2ed17a7ae238b463a481717148",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/CongrLemmas.c"
    },
    {
      "type": "modify",
      "old_id": "2ffac2cc03660bf8174547edcd8eeffecbfae514",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c",
      "new_id": "7569e996038dbe95b346e5ba16a452ae44dc9d0b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Main.c"
    },
    {
      "type": "modify",
      "old_id": "33203a8cf6cc3bfa53f2c75a48dd510957e75949",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c",
      "new_id": "52e0f60644e0d390c9d3b5525296452f9ab47e5d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/Rewrite.c"
    },
    {
      "type": "modify",
      "old_id": "3f82dbb85df8393914dadb42bb114da1ae18398b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpLemmas.c",
      "new_id": "564505e20162cd66571eb67bfc3be40382318f1b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpLemmas.c"
    },
    {
      "type": "modify",
      "old_id": "64ef2d9f344d3eb98cce55b668facad2ede1a4d7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c",
      "new_id": "4ad64dcf6fcb5f52b91070d4410856b9c9607707",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c"
    },
    {
      "type": "modify",
      "old_id": "f181ea69b17d87a785f135cd52565421f6b3f39e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/WHNF.c",
      "new_id": "732c97ef218c44c58db4fb606a959f4c1a502ca6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/WHNF.c"
    },
    {
      "type": "modify",
      "old_id": "c8e9492fe91112a5593787ddc4a7665cf58680a3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Parser/Extension.c",
      "new_id": "3cb2a78d701ac1a558caa3d8f371ac3d7ddb8f1e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Parser/Extension.c"
    },
    {
      "type": "modify",
      "old_id": "08f38a4ae9d6b0a074bea5014168a39783df3e6a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ParserCompiler.c",
      "new_id": "da32816e3beac2673d1a3b1f70116604b4c7f342",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ParserCompiler.c"
    },
    {
      "type": "modify",
      "old_id": "c9065e147761ba7626545ae7a2ea2af696461aae",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter.c",
      "new_id": "1fa7fe76e622c5307d5d719a674abfe6e2c7ef9b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter.c"
    },
    {
      "type": "modify",
      "old_id": "cdea562d7c281b1d6004449db4188f17da822782",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c",
      "new_id": "a42a3f35c7d7fab6e5c68f204b1a476cd721c268",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c"
    },
    {
      "type": "modify",
      "old_id": "474e8f9c38952b99857723246b615e02ffdb4455",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c",
      "new_id": "cda2940ee8c73f5568544f4c796d1486fab18a21",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/TopDownAnalyze.c"
    },
    {
      "type": "modify",
      "old_id": "c3f33c1578701cf1264aea1e3ecc738603db75dc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ProjFns.c",
      "new_id": "ffca3b9976d8880a02c7d9652c7f05d24b494b05",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ProjFns.c"
    },
    {
      "type": "modify",
      "old_id": "14765593148401856e776eb7ab0231c0ab822f96",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Completion.c",
      "new_id": "11d580c389ed3c48b59c79493a44363cff860fde",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Completion.c"
    }
  ]
}