)]}'
{
  "commit": "2430a34c8b63b7680531e465361de21980a567ff",
  "tree": "5bc18d79bfeec1e53d24f78fc373deae1b5d24df",
  "parents": [
    "3519ba808455f13c7150a04d5cfdfe51a81e2392"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Mar 19 15:58:45 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Mar 19 16:06:40 2021 +0100"
  },
  "message": "feat: term info at many more constants\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3b111a6d2d36d0999bf1a78a98bd70e2b60f3272",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Declaration.lean",
      "new_id": "cfff571c32637a1b7e04b2050e747904bfdf6f9a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Declaration.lean"
    },
    {
      "type": "modify",
      "old_id": "0d2ae2c4c1a3739f73e77859e5593fbd35a53345",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Deriving/Basic.lean",
      "new_id": "734d77506d23b6a1e30b71bb5fec32d7b3cfe252",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Deriving/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "d63814865943498a3d49f238b14a91eaa8a95a93",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/InfoTree.lean",
      "new_id": "8f02b9028f7ab7bb3551093ebd16b7b8dbe0a170",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/InfoTree.lean"
    },
    {
      "type": "modify",
      "old_id": "d23007daf682f268421dd817801a08a56cd5f62c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Print.lean",
      "new_id": "bead86786ee9e5a3b8e001e1dcfd50065d81d0c1",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Print.lean"
    },
    {
      "type": "modify",
      "old_id": "70768d05a78653fbdd611be81e4d2bc8de78bad0",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Syntax.lean",
      "new_id": "726d2e83b8f3d4abef3aa38f10a04933aba33265",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Syntax.lean"
    },
    {
      "type": "modify",
      "old_id": "4cf2b183fffe0355d2ea1675b1afd58a05d1551c",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Induction.lean",
      "new_id": "a137891b686e3ee128927f1da75a0986bf36cf0e",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Induction.lean"
    },
    {
      "type": "modify",
      "old_id": "d20702a4d19dec91ca606202912b3787e72108e9",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Simp.lean",
      "new_id": "af3b303a8e64fcc9bc1afbf7d0740bc157c815d0",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Simp.lean"
    },
    {
      "type": "modify",
      "old_id": "928395c93f4f06344fa79f043395b6470cb5c6ac",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Term.lean",
      "new_id": "4fd99fdbb183964438204db416163e61c52b9b3f",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Term.lean"
    }
  ]
}