)]}'
{
  "commit": "7504fc6514433e50c1cc6a2a82a34df835e8371d",
  "tree": "3c8d827f0ad2ba06235d7ee253c921f15543c807",
  "parents": [
    "89e1bc72ed32695d763b38623623eda8895583a9"
  ],
  "author": {
    "name": "Siddharth Bhat",
    "email": "siddu.druid@gmail.com",
    "time": "Tue Nov 22 01:27:41 2022 +0000"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Nov 22 12:34:17 2022 +0100"
  },
  "message": "fix: update libleanrt.bc, rename to lean.h.bc\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "6d3a7836bf563c14553f3fde450fe32a55ea113c",
      "old_mode": 33188,
      "old_path": "nix/bootstrap.nix",
      "new_id": "359886cd23c5f6dce44717ccd2e4f1b7b38bd2f4",
      "new_mode": 33188,
      "new_path": "nix/bootstrap.nix"
    },
    {
      "type": "modify",
      "old_id": "37c4e42bbd110ef3667acab4a964f537a0713c98",
      "old_mode": 33188,
      "old_path": "src/runtime/CMakeLists.txt",
      "new_id": "5de8dac4e952e71f850ccf49bb4a9b6e1a1f51cb",
      "new_mode": 33188,
      "new_path": "src/runtime/CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "bb2705e83ae6efb864a49820446c82f36cadc322",
      "old_mode": 33188,
      "old_path": "src/runtime/lean_inlines.c",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "dd64d99401a3be20510b0385f3a1a79ac93a15ed",
      "old_mode": 33188,
      "old_path": "src/shell/CMakeLists.txt",
      "new_id": "6607409ccd5012b9a220c35fd080d7576d29b4ac",
      "new_mode": 33188,
      "new_path": "src/shell/CMakeLists.txt"
    }
  ]
}