)]}'
{
  "commit": "3226fdec8cd76be373efe918857b6f5125a87158",
  "tree": "4e0ce045a1dc027793377fc5d26919f7369b1d34",
  "parents": [
    "4d1d06fcbcbaec6731c0878d300c4560a9e547dc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sat Aug 21 15:10:10 2021 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leonardo@microsoft.com",
    "time": "Sat Aug 21 15:10:10 2021 -0700"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "772cbfc76d04fcdd15838bfd789e3146333ed6f8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/List/BasicAux.c",
      "new_id": "533078c40c573b1b2d9747ec37a0e5cf87f45a63",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/List/BasicAux.c"
    },
    {
      "type": "modify",
      "old_id": "0ab5b27349d60587487e6e4e53c97906f7e60281",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/System/FilePath.c",
      "new_id": "cf10d3eeaf36d4d40d9aece37d6dc6e6c8bf77e4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/System/FilePath.c"
    },
    {
      "type": "modify",
      "old_id": "a0da7560fa74dc48eda0340d27686e12bd76baed",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Attributes.c",
      "new_id": "1212b1034ddd3c1b835b16dded4494a39c8f22c0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Attributes.c"
    },
    {
      "type": "modify",
      "old_id": "593b1db2d53de30e9f4674f8d80a847178ca2002",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Class.c",
      "new_id": "ad14d5bda0e6e7958476b62ad2a3fda2fb8e86d1",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Class.c"
    },
    {
      "type": "modify",
      "old_id": "a685a0249db02ea7444ee26b774860aaa53e4ee8",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c",
      "new_id": "f2f3e5ca31f499b916e3d7a43667ed51921ecd80",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/IR/CompilerM.c"
    },
    {
      "type": "modify",
      "old_id": "752c520ebff4b9c6b707573b34084ef82dcae692",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c",
      "new_id": "963e5452d27360cd3daa835bb869436f5800b4d5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/IR/ElimDeadBranches.c"
    },
    {
      "type": "modify",
      "old_id": "0970ca49bfccdce27ca29271fdcb8dfd22d19bdd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/NameMangling.c",
      "new_id": "f928d3db862b52b62e99035d7a967f211f53e063",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/NameMangling.c"
    },
    {
      "type": "modify",
      "old_id": "59231b9fe9f0d3365fe6ac68003ad99502296c35",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Compiler/Specialize.c",
      "new_id": "aa5a77a674f5ce417fd5533b274f7017c91c77d3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Compiler/Specialize.c"
    },
    {
      "type": "modify",
      "old_id": "321be0e0c61639543ab49cc5c0942edd4ae90c18",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Data/KVMap.c",
      "new_id": "c93974667413df89bfcbf001a639753354fa1e24",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Data/KVMap.c"
    },
    {
      "type": "modify",
      "old_id": "9bf437ccf8c6aa3118a2a79c2cfdd2876da28e86",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Declaration.c",
      "new_id": "695059b4b8d618a578b99330539627c7d824aba9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Declaration.c"
    },
    {
      "type": "modify",
      "old_id": "3dd9495f7a933a198246dd115495d85d88f10028",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/DeclarationRange.c",
      "new_id": "f9b0b05bd05deab918f48accdeed4050ba743645",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/DeclarationRange.c"
    },
    {
      "type": "modify",
      "old_id": "d5305a8b017cb0dfe23bd73a871228a1b79ea16c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/DocString.c",
      "new_id": "94f803e2c9acaeaf21fce2ac4f5caf4f616afdf9",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/DocString.c"
    },
    {
      "type": "modify",
      "old_id": "222402d027545548463f7cb517b0b52a15c11047",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/App.c",
      "new_id": "00325b06933b89bbbe5400d1377a01274cd01f8f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/App.c"
    },
    {
      "type": "modify",
      "old_id": "842f0f6f14b192459e4f8037ba1889d421067d9a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c",
      "new_id": "c7b703f286896da3b215cbb80f15df55fb4ed091",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/BuiltinCommand.c"
    },
    {
      "type": "modify",
      "old_id": "ceb1f99ea79b1d99ffb65ddb13c23a752241ac06",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Match.c",
      "new_id": "5fb2f0807484f83813c3bd7b0b244e7d5e6b7f67",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Match.c"
    },
    {
      "type": "modify",
      "old_id": "f09449e0f3399bf3a1aae1be6e526ee5dd045887",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Quotation.c",
      "new_id": "e4c8dd29f1dd9bd496fcada5e0fe6cba62ca9011",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Quotation.c"
    },
    {
      "type": "modify",
      "old_id": "8491b216b42e960eb5feb9a4d1dfe02378077c6f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/StructInst.c",
      "new_id": "aae652e6d4fcdd7ddde330a5212f3e49a99cadce",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/StructInst.c"
    },
    {
      "type": "modify",
      "old_id": "fd173d63beeaf1f9ace2aaf2aa286cca8fa55a64",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c",
      "new_id": "c7cca92a9ad7d990cf00d1df65628214cbdce5bf",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/SyntheticMVars.c"
    },
    {
      "type": "modify",
      "old_id": "8502e7abf7effa8b058a496e93bfc2e981aa7f10",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Elab/Term.c",
      "new_id": "43ed50891e5b6902f61b8bb7f19f504bf56916c0",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "5d86ab1101c0acce1b1679a5c1aa1f250c7b60dd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Environment.c",
      "new_id": "1c59385dd7978e4f17f1c1de6d5bfc982213a639",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Environment.c"
    },
    {
      "type": "modify",
      "old_id": "f1ed031767727dfc4620043b410551b1b966981c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Expr.c",
      "new_id": "da7c10158afb9c775462b12b3cd82a0373552575",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Expr.c"
    },
    {
      "type": "modify",
      "old_id": "c071bc7ff1a4b5743622d886ed205af5abd4ceb2",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Check.c",
      "new_id": "0b9ac741aa2cef8ac915a171a7c6e3ed0813dc3e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Check.c"
    },
    {
      "type": "modify",
      "old_id": "88d5274825bbca3d182b0084adc3e9aec9ff1b3c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c",
      "new_id": "db24ab15da9be920220b4b51238d676963040554",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/IndPredBelow.c"
    },
    {
      "type": "modify",
      "old_id": "7761e5f548fc291b54bc7ffa728df880c671be59",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/InferType.c",
      "new_id": "3cc2d0944c5beafcedb172a5bb2b422823b6dc8a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/InferType.c"
    },
    {
      "type": "modify",
      "old_id": "b23ef7c8a631a27c8bd3bd56f1e63c62e955eb98",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Instances.c",
      "new_id": "23fb51fbb52aaff12c841174687379d71da2f9b5",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Instances.c"
    },
    {
      "type": "modify",
      "old_id": "37dab5da96bd6096a8c3dd2d52805f0d50fc7136",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/Match.c",
      "new_id": "5973037b5c71c42e58f98ddc4c07d4cddb13f898",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/Match.c"
    },
    {
      "type": "modify",
      "old_id": "3f1d682b8c9510f09f7f7d02ad77b4bfa778c566",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c",
      "new_id": "c61544f117ead7b9efdd5e8086576e8d44412c43",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/MatchEqs.c"
    },
    {
      "type": "modify",
      "old_id": "df06acab4b1a3904df97dc1529a3622e5ddc9cc7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c",
      "new_id": "b6fdd9ef9706b4df4608dad9372801405a5929c3",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Match/MatcherInfo.c"
    },
    {
      "type": "modify",
      "old_id": "42a1c91e0c55ef90f010163be40083181ed6ab0d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c",
      "new_id": "2c4ab21c80e722d34131c2c3561efd23a50be30c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/RecursorInfo.c"
    },
    {
      "type": "modify",
      "old_id": "2aa30e2df9ac071b3743a848d53536897ebf63ac",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/SizeOf.c",
      "new_id": "94a18942b4889ed63e19e41d387cda524a869d22",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/SizeOf.c"
    },
    {
      "type": "modify",
      "old_id": "f3c3956dfd6a0b84345790c6e63eafef536afaa5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c",
      "new_id": "76457c7a1e16a743852cf949423a128863d24d3b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Cases.c"
    },
    {
      "type": "modify",
      "old_id": "2eb47a92e9431e9e04a6c06c2dd3b41124ebec04",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c",
      "new_id": "52145e3c3cc4692e8d01cdb557765326241f3a9f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Contradiction.c"
    },
    {
      "type": "modify",
      "old_id": "11e4b81f15e9d0d12c8add6d51ec6a2fc56780aa",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c",
      "new_id": "76098d12b6bed9d1a3551b2fdfd6de3ccabbd27e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Delta.c"
    },
    {
      "type": "modify",
      "old_id": "22daec0bb1d7634b78315995f26ba62bce665c11",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c",
      "new_id": "950b01ed6f20af26d11584b945cdde1362df37db",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/Tactic/Induction.c"
    },
    {
      "type": "modify",
      "old_id": "8e814d76581b6cf8f32151a0b5f89bc5d7f55c6f",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Meta/WHNF.c",
      "new_id": "f01b4b01f71494c9f975484ebab5374b0e89da76",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Meta/WHNF.c"
    },
    {
      "type": "modify",
      "old_id": "6646fdc1ab7b60b596dd32b01cd758953c2fd36a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c",
      "new_id": "25adec05140dead41a4eef766ba513d62f4ee38f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ParserCompiler/Attribute.c"
    },
    {
      "type": "modify",
      "old_id": "9e7e40f387fb22a5b459836cfb982092c4dc5d94",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c",
      "new_id": "d7fff34dcce21af5bc4589f0e5ea868c026f6b10",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/PrettyPrinter/Delaborator/Builtins.c"
    },
    {
      "type": "modify",
      "old_id": "401570c39f42f9513e9fb51091aa7170c2f114a7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ProjFns.c",
      "new_id": "e330b286aea04c24fe868506c5245c312375337f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ProjFns.c"
    },
    {
      "type": "modify",
      "old_id": "0e09d3dbb595ef66fa2a606115fcbe04ac17468d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ResolveName.c",
      "new_id": "e38472208a60119060b2798c1b098c4ec6bea685",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ResolveName.c"
    },
    {
      "type": "modify",
      "old_id": "9b1cc03380bf7fa412acbe0d87624e853927d03e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/ScopedEnvExtension.c",
      "new_id": "67b5aa0917274b359529c4b577fb25a49a349dae",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/ScopedEnvExtension.c"
    },
    {
      "type": "modify",
      "old_id": "fd5e8be78f645acc2a0a81b37542cb9987eda8f1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/FileWorker.c",
      "new_id": "37654b45623bdc9744cbcc556156e6db5b94c475",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/FileWorker.c"
    },
    {
      "type": "modify",
      "old_id": "ec01df6863de63fd1bd1e1e09cd288c86452851d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c",
      "new_id": "aab251c87fdf5901403ae38c65e698f90173fe8b",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Server/Rpc/Deriving.c"
    },
    {
      "type": "modify",
      "old_id": "0264fee051749ce7dbf04777c8df355decc506ab",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Structure.c",
      "new_id": "2196c20f369f6746edf110dbdf0560e947eeb17a",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Structure.c"
    },
    {
      "type": "modify",
      "old_id": "86e81753e05b90fc39a7191d9326a4c3fa8de97b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Lean/Syntax.c",
      "new_id": "001669501931682e1b9793ecf3016ebf0d3ce347",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Lean/Syntax.c"
    }
  ]
}