)]}'
{
  "commit": "90ba5238c9ee604891cf78fa2648cf78bbb3611f",
  "tree": "fcec5715e6f2db6af683af6940c29ab69d4e5889",
  "parents": [
    "1dfacb5f84375f9d2d1b6573f418187a15e97011"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Aug 03 15:44:06 2021 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Aug 03 15:45:19 2021 +0200"
  },
  "message": "fix: `main` return value on 32-bit\n\nResolves #594\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "81f40e17d916e7ee987c4983054f90144b6e5430",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/EmitC.lean",
      "new_id": "307e462098eb59baa0958604c708400edc3a73dd",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/EmitC.lean"
    },
    {
      "type": "modify",
      "old_id": "bbe338f3cf31be9066136c6bc863892cccb3f037",
      "old_mode": 33188,
      "old_path": "src/library/compiler/compiler.cpp",
      "new_id": "f4872e6ca811679ea85c0632ba2e175aa443e9e4",
      "new_mode": 33188,
      "new_path": "src/library/compiler/compiler.cpp"
    },
    {
      "type": "modify",
      "old_id": "a85c0a45a44cbb77ac3ba8a190f68aefae869c4c",
      "old_mode": 33188,
      "old_path": "src/library/compiler/ir_interpreter.cpp",
      "new_id": "a25556f421739fe3cd6c1c8d54f37b0f8c831915",
      "new_mode": 33188,
      "new_path": "src/library/compiler/ir_interpreter.cpp"
    }
  ]
}
