)]}'
{
  "commit": "5d33b85d76b77ca4200ab9d2285d7e858ab56861",
  "tree": "9119ea3b4a49d4bf27d546c20a91d747b6f714e6",
  "parents": [
    "a3ac88673f8d4b0e0cd6c58e0b178cfc7a98353b"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Dec 23 01:19:30 2019 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Dec 23 01:19:30 2019 +0100"
  },
  "message": "chore: update stage0\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "2f26ec148b723c35406e04fd34ab733f3a8a4bbe",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/PersistentHashMap/Basic.c",
      "new_id": "e96399a6839dfc32344c8a31dd9886bf522926a4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/PersistentHashMap/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "2c363b3a8f0070b0b21791c73519bbbf1bd7957d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Data/PersistentHashSet.c",
      "new_id": "49702356b623fed68b0ec61992e7620e27ee216e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Data/PersistentHashSet.c"
    },
    {
      "type": "modify",
      "old_id": "bb58de68941269a32731814018409514632043f0",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Class.c",
      "new_id": "885a77badbe6747ba314877339b0f7dd0ae2a19c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Class.c"
    },
    {
      "type": "modify",
      "old_id": "1cfc788a4991e8c9485ac5b926b7447c48452149",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/ClosedTermCache.c",
      "new_id": "8aa823f9aae7b4da9eaec89b4b03e9c20b45a40f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/ClosedTermCache.c"
    },
    {
      "type": "modify",
      "old_id": "aa715fb18127b79a37450fddb4d9b8198ad5d11a",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/IR/CompilerM.c",
      "new_id": "6a1313cba97d7eb59e4b91f0d9da9b8d32153d4d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/IR/CompilerM.c"
    },
    {
      "type": "modify",
      "old_id": "2814899642a927a1bfe2f8d91991421ebe3da377",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/IR/ElimDeadBranches.c",
      "new_id": "d8565b50121ec5312332f8684464552fdb85484f",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/IR/ElimDeadBranches.c"
    },
    {
      "type": "modify",
      "old_id": "165bb3fb38383b9c3fbccd52ce78197cda65273c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/IR/LiveVars.c",
      "new_id": "9210bf97e7967fa04592e59c8ce6709f12138107",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/IR/LiveVars.c"
    },
    {
      "type": "modify",
      "old_id": "97a3de67678fcb0d544f85d60c2d941ceaa10502",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/IR/ResetReuse.c",
      "new_id": "72913135daf37143a7522e415ee1749ac5c9df86",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/IR/ResetReuse.c"
    },
    {
      "type": "modify",
      "old_id": "4654ccc093ec6988c42bc6d9691bfcc035195518",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Compiler/Specialize.c",
      "new_id": "c37894a8a10f96e700e6b9f6b3fb04d9c2391256",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Compiler/Specialize.c"
    },
    {
      "type": "modify",
      "old_id": "a093e3c6f191dca19651401604bf26564d08137e",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Data/SMap.c",
      "new_id": "04399b733bc0f3b1eb66221e7a9da85b99ae7966",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Data/SMap.c"
    },
    {
      "type": "modify",
      "old_id": "995385012505288065b4a0fb7c01c7e57dfc81a3",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/Alias.c",
      "new_id": "2a5a8dce15f7a525b7df23fcdf4a17da070497b8",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Alias.c"
    },
    {
      "type": "modify",
      "old_id": "45cf0dedf0475421ef6bedeb9b4c5662f91a349d",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/Command.c",
      "new_id": "5885ccd7ea428f8741551d56963349ef2d12194c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Command.c"
    },
    {
      "type": "modify",
      "old_id": "23a448fa255b60a7dc0331fdc888cc275d0af4f7",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/Quotation.c",
      "new_id": "874d829c3326180235bf0256453dc659a29891b6",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Quotation.c"
    },
    {
      "type": "modify",
      "old_id": "b3053f1928542b337786880d3091916c07a2e41c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/ResolveName.c",
      "new_id": "30d6ab28e86172a3acd9f91a09315780ac7b68c2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/ResolveName.c"
    },
    {
      "type": "modify",
      "old_id": "9298b4759d186fcfae3048e1e25219a011e07514",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Elab/Term.c",
      "new_id": "77b91357b13e2471bb8fd64ddefe1ac8ceb1df48",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Elab/Term.c"
    },
    {
      "type": "modify",
      "old_id": "d6e89fa2b5d5634894c1f4208ff647255361e7f5",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Environment.c",
      "new_id": "37ec83717955b8639da89ef1d750f0934786bc81",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Environment.c"
    },
    {
      "type": "modify",
      "old_id": "ee870390582a4e089a34a3a3643dc247b5a992dd",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/LocalContext.c",
      "new_id": "eea4ab83576f2c778edae274a05e9bf24800aee2",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/LocalContext.c"
    },
    {
      "type": "modify",
      "old_id": "b7ab8329b5277a232e685b21f9d363a77f53de69",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/AbstractMVars.c",
      "new_id": "5a351216e0aa811d14e642e9bbfd9c5897f5e98e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/AbstractMVars.c"
    },
    {
      "type": "modify",
      "old_id": "557f1e16205e6f73543eb068a9bdcc836a0a6a7c",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/Basic.c",
      "new_id": "b2d07bf7ac4497016b92eb46a83a454e1d75cd8e",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/Basic.c"
    },
    {
      "type": "modify",
      "old_id": "508dcb6cc221ca990d80cbf98abede8eb1f07fde",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/DiscrTree.c",
      "new_id": "8151b813482f2b4f140e9ff1627be54d5379e74d",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/DiscrTree.c"
    },
    {
      "type": "modify",
      "old_id": "bb8c4d7f1aa73f3618096fe9881c24e18cec4e01",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/ExprDefEq.c",
      "new_id": "ca032754cd21fcbb62292f37697a7e656cf1d750",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/ExprDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "bafbbdad3d156dfe16eb8fe1ee4d9548f6a83f93",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/FunInfo.c",
      "new_id": "2216f566f719eb64ec5fe5366230093a0a80dbdc",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/FunInfo.c"
    },
    {
      "type": "modify",
      "old_id": "81702b1856c4366ff7e2aefbeeefae09907315d1",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/InferType.c",
      "new_id": "b14419aaa61bcf57e90dc0069b28dc73166a713c",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/InferType.c"
    },
    {
      "type": "modify",
      "old_id": "a8a38245aa70a104c29e9fb01b029564c4ce303b",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/Instances.c",
      "new_id": "947a3d0a74c09d2ea9eaa7ab84e6cd04a36361e4",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/Instances.c"
    },
    {
      "type": "modify",
      "old_id": "7e5669ae8ec41e15d4a817447132f621d0934079",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/LevelDefEq.c",
      "new_id": "0ccc81f6c1c252e0dda4ff010682fc6a7d3d7a86",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/LevelDefEq.c"
    },
    {
      "type": "modify",
      "old_id": "e5e569df2aba2bcceae1d0b1c20f0a8af3547f03",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/Meta/SynthInstance.c",
      "new_id": "e3cde42a9b2a542e60f25b2602a5160a3472a307",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/Meta/SynthInstance.c"
    },
    {
      "type": "modify",
      "old_id": "8d1d752582ba43376552cb1eddd5bfd88c0a0b69",
      "old_mode": 33188,
      "old_path": "stage0/stdlib/Init/Lean/MetavarContext.c",
      "new_id": "e74be9e8d68c76ee8d21b775646957f220966029",
      "new_mode": 33188,
      "new_path": "stage0/stdlib/Init/Lean/MetavarContext.c"
    }
  ]
}