)]}'
{
  "commit": "dacf65b76dba9c4142fbc52e94eb1d7fd3a445b9",
  "tree": "2944dc6e84a481d14e1e5db4f3cdd197d015ff2b",
  "parents": [
    "b98285965c91f5087643fd439ffd8c7b040cfc40"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 04 16:22:40 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Wed Aug 04 16:22:40 2021 +0200"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f845fbfa8d1e946000d2a7c157ea1dd07fe68f0f",
      "old_mode": 33188,
      "old_path": "stage0/src/Lean/Environment.lean",
      "new_id": "4736872daf546df5047e51df035bef513d9c4d15",
      "new_mode": 33188,
      "new_path": "stage0/src/Lean/Environment.lean"
    },
    {
      "type": "modify",
      "old_id": "631f055c633f11cb97acef203430c91d8a7ae633",
      "old_mode": 33188,
      "old_path": "stage0/src/include/lean/compact.h",
      "new_id": "47e17b0b7b7dbbff81bdd22a201723de47b06f12",
      "new_mode": 33188,
      "new_path": "stage0/src/include/lean/compact.h"
    },
    {
      "type": "modify",
      "old_id": "d0475343651b8a54d1f68e87958af9e8637193ab",
      "old_mode": 33188,
      "old_path": "stage0/src/lean.mk.in",
      "new_id": "de58f4cab3827243738e263ba98420489e714195",
      "new_mode": 33188,
      "new_path": "stage0/src/lean.mk.in"
    },
    {
      "type": "modify",
      "old_id": "310c47e2e09896c69adabbb48fcbd6255eb06cb5",
      "old_mode": 33188,
      "old_path": "stage0/src/library/module.cpp",
      "new_id": "cae435a25938b2843860a1d89d3babe765443f52",
      "new_mode": 33188,
      "new_path": "stage0/src/library/module.cpp"
    },
    {
      "type": "modify",
      "old_id": "0ceae478c3c73ce185eb4d33a6406028d3b02b65",
      "old_mode": 33188,
      "old_path": "stage0/src/library/profiling.cpp",
      "new_id": "46dcb55af0758755606c9d0e056500c3d37064ee",
      "new_mode": 33188,
      "new_path": "stage0/src/library/profiling.cpp"
    },
    {
      "type": "modify",
      "old_id": "0bdf75358a365226aa08876b2c301f2ec73b3c46",
      "old_mode": 33188,
      "old_path": "stage0/src/runtime/compact.cpp",
      "new_id": "dabd9eaf7508975b1987e870ddbcabef74089aa6",
      "new_mode": 33188,
      "new_path": "stage0/src/runtime/compact.cpp"
    },
    {
      "type": "modify",
      "old_id": "0dbe2588f7b787d8dcd62eda8de772f1303fe09b",
      "old_mode": 33188,
      "old_path": "stage0/src/shell/lean.cpp",
      "new_id": "459ab0d52bf6fa47596db5f86100ab3ce8a497f7",
      "new_mode": 33188,
      "new_path": "stage0/src/shell/lean.cpp"
    },
    {
      "type": "modify",
      "old_id": "23a4dccaa847c455edfb1e96d479f4e2eaa0f310",
      "old_mode": 33188,
      "old_path": "stage0/src/util/CMakeLists.txt",
      "new_id": "e5a206f5426670104355269190dc208185f60c60",
      "new_mode": 33188,
      "new_path": "stage0/src/util/CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "b1b21f00d53779fc6a52015287fb471ee4eae880",
      "old_mode": 33188,
      "old_path": "stage0/src/util/file_lock.cpp",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "bdfab1304f5f25b1c87861192509fb635a6b2b9f",
      "old_mode": 33188,
      "old_path": "stage0/src/util/file_lock.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "57b020ddedbc12530f1ad4bda1fe40707b5b3a34",
      "old_mode": 33188,
      "old_path": "stage0/src/util/name.h",
      "new_id": "8e8ce54e6949e7675c8d87d4ab4e196fffc1f093",
      "new_mode": 33188,
      "new_path": "stage0/src/util/name.h"
    },
    {
      "type": "modify",
      "old_id": "5efcede687b6132ce7efa4cbd9eabbecd4e710b7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Attributes.c",
      "new_id": "72457026610ab66506b8cf8403734b82849845ba",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Attributes.c"
    },
    {
      "type": "modify",
      "old_id": "9695830e9d2a0594e649773ac6a158ccfe56953f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Class.c",
      "new_id": "76424c0c44a417d45f6403854031757866332465",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Class.c"
    },
    {
      "type": "modify",
      "old_id": "7dccd512a14a18a155c629f716a9e20cfd962024",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c",
      "new_id": "5349029c75b9e7d2e08e5515ffd6a40ca00456cc",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ClosedTermCache.c"
    },
    {
      "type": "modify",
      "old_id": "df6fba2faabc97a3197fd707da9c36aff0caf61d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c",
      "new_id": "d54ce618a8a43cb9782409c5602c02d9c4fe6358",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ExportAttr.c"
    },
    {
      "type": "modify",
      "old_id": "c068d46f88d9340417f86bcae6558c89e699b2fc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c",
      "new_id": "3841e86f83a4b8ab685b2a0db58e0685c1172af9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ExternAttr.c"
    },
    {
      "type": "modify",
      "old_id": "56fdaa0a6108b6558955cdc17e8598bafd4ed98b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c",
      "new_id": "1465fa5267171dfa9789222aadff979d0f80ea4a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c"
    },
    {
      "type": "modify",
      "old_id": "ea34450621bb888521df5ffa504c416c20a81218",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c",
      "new_id": "85a55f07512cab663bda23d5c6b9a34aad20141e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c"
    },
    {
      "type": "modify",
      "old_id": "bfe4ff2e32d65fb03f1a9a268a09d525da195b27",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c",
      "new_id": "df75215aeeafbb87e401011296a848d4d056923b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/ImplementedByAttr.c"
    },
    {
      "type": "modify",
      "old_id": "d03bd2384de05c3c445a91d0aeaa05c2713a783e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/InitAttr.c",
      "new_id": "477d35b95152036940e1504d60989f608a3ba8c6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/InitAttr.c"
    },
    {
      "type": "modify",
      "old_id": "29fac67dbf3ee770cae6d46cb114ac05ef9e65f5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c",
      "new_id": "0750fa59544a0623e894b2686337f8c915190072",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/InlineAttrs.c"
    },
    {
      "type": "modify",
      "old_id": "e1f70bf9b85d2991afdfeff3b669209292acffb7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/Specialize.c",
      "new_id": "5fd041cd76cd41d159a7a4ffa11ce67f8fdb163d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/Specialize.c"
    },
    {
      "type": "modify",
      "old_id": "f5cf072f0eaa32b4861e6e89a676828f8286e24c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/DeclarationRange.c",
      "new_id": "ba278275767662273b8f95fa878b50f0c2b9f2aa",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/DeclarationRange.c"
    },
    {
      "type": "modify",
      "old_id": "5791ddda48eaff01f770304c0ab19842ec571e5a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/DocString.c",
      "new_id": "0b55ecf440a721c30486c0b319b5c4938d6b73a9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/DocString.c"
    },
    {
      "type": "modify",
      "old_id": "92a9a0e77f71f25ca06f7440367e0e9fa804778b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Environment.c",
      "new_id": "9bfec6d749218a7c0d9a54f26fff2580df9865dd",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Environment.c"
    },
    {
      "type": "modify",
      "old_id": "cd92afd3b20cb7f35f06147b2b006ace26dc90e1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c",
      "new_id": "c44571fd2bb578cfe7b52d3c20ba11274712f20a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/KeyedDeclsAttribute.c"
    },
    {
      "type": "modify",
      "old_id": "3325e6c6b2012489cd0a044bef736c752df089c9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/GlobalInstances.c",
      "new_id": "33a1b79b049faa2e283639126ab8957d9706d337",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/GlobalInstances.c"
    },
    {
      "type": "modify",
      "old_id": "40ecae39c1e759dde601e2e1e94909313b41550f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Instances.c",
      "new_id": "6b4c68a41c215e490b1ae1957783ea8cd39c9366",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Instances.c"
    },
    {
      "type": "modify",
      "old_id": "7a5c7689f9e2f528cf1de778b5f5961f269d1889",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c",
      "new_id": "7ac573220af9ccf4e67b48d2b88e5299ccef5ae1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c"
    },
    {
      "type": "modify",
      "old_id": "191553b4b6255e6d18d8c0ff668511becc1742cb",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c",
      "new_id": "58152f20c00cbe279a11ef7c8d8c47942ca2f92e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c"
    },
    {
      "type": "modify",
      "old_id": "492417283f341cb2d99a308f937be1f466bd5dec",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c",
      "new_id": "d735b6369d24c36da1531a64d873c5148aefd114",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c"
    },
    {
      "type": "modify",
      "old_id": "10bef637d00ae9f0925c95c00ab2a23e05543001",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c",
      "new_id": "184160a83cb6482724210390a2272c685af0ea52",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/AuxLemma.c"
    },
    {
      "type": "modify",
      "old_id": "94aba128ff44dc6e2548a94c8f805d676d9ac49d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/CongrLemmas.c",
      "new_id": "abb323050f866413b94bb3e1428f44f291e49ded",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/CongrLemmas.c"
    },
    {
      "type": "modify",
      "old_id": "fd4f05c930c5fd4ef4100569a8a778d95ec5473f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpLemmas.c",
      "new_id": "e2b11fe70b2d62fe70d9ccaae825d21485e0873b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Simp/SimpLemmas.c"
    },
    {
      "type": "modify",
      "old_id": "6773668828e84c72c9586c17bb29d10b68e2303a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/UnificationHint.c",
      "new_id": "27e1a1f22cdd01bc4005895d8123e5ebc5c081e0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/UnificationHint.c"
    },
    {
      "type": "modify",
      "old_id": "50a773c3ee7a436604638abbe8923c716b94f6c9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Parser/Basic.c",
      "new_id": "0cccb3bc28865b3aa712fb5fbf97bd9511a5875f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Parser/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "0201803e23c9f7f0f10f5cdf6ad25a461cde1154",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Parser/Extension.c",
      "new_id": "a70d1d025eb5d012df7c1853b87c929b223753b9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Parser/Extension.c"
    },
    {
      "type": "modify",
      "old_id": "af3bc3b1eadfcca2527a5461d6e0d46450e40f3f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c",
      "new_id": "1d34e05e3798b6982657eb2597617d69a059dd7a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c"
    },
    {
      "type": "modify",
      "old_id": "7cb3f05036eb63d731340892b32dbb4be8b3d90d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ProjFns.c",
      "new_id": "70060499b262957ede602f27596595507a6bb8e7",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ProjFns.c"
    },
    {
      "type": "modify",
      "old_id": "729959fcc35d1dc7ac0a7d0eee1929014897d3ce",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ReducibilityAttrs.c",
      "new_id": "22b0ebfbef9bffc252700e904f15614d0bc0544f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ReducibilityAttrs.c"
    },
    {
      "type": "modify",
      "old_id": "496dd13b2e534873922205c70fbfc14131e4d0b9",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ResolveName.c",
      "new_id": "5eaf0ea5efeb58304aa4f2f47f8f7d96af7c0cf8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ResolveName.c"
    },
    {
      "type": "modify",
      "old_id": "c4ff8e3ce7107c27719be6d1df377043443d57dc",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ScopedEnvExtension.c",
      "new_id": "4f41a73c66cb4a515ca244b4b7097fc494d39b31",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ScopedEnvExtension.c"
    },
    {
      "type": "modify",
      "old_id": "61f7c194316ee3baa3249fe27e092ac6d9b9e001",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Structure.c",
      "new_id": "5a681499c7c7470bfce5a0a394dde88682d9e9d3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Structure.c"
    },
    {
      "type": "modify",
      "old_id": "c9d50c0ca321fb088cebc3bc37d7860bda81d297",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Util/PPExt.c",
      "new_id": "f0fe6eba8e2119f028202e41cca469b7f88a4cdf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Util/PPExt.c"
    }
  ]
}