)]}'
{
  "commit": "f5c00af254d7cf83af429fbef8cc66161f464147",
  "tree": "fc346cc0ed69556c9c9378e087c0aacd57e7203f",
  "parents": [
    "488bfe2128a1c5ff0e96c45cf6a382655dc7c703"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 10:37:26 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Fri Feb 09 10:38:52 2024 -0800"
  },
  "message": "fix: extended `coe` notation and delaborator\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "70510162bc363a35aba3db74d90765598042a3c4",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/BuiltinNotation.lean",
      "new_id": "8574c2f9435d9ed2138a7ef754ec8f39c4459f71",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/BuiltinNotation.lean"
    },
    {
      "type": "modify",
      "old_id": "52d03c05a2bd30a8168440c721884feb1b0564ce",
      "old_mode": 33188,
      "old_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean",
      "new_id": "3ac11fb157d51dbe9a5ddc5c004a04abe9d6e075",
      "new_mode": 33188,
      "new_path": "src/Lean/PrettyPrinter/Delaborator/Builtins.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "24b6e1c1eeb1c11cd7b173a9b7aa30a1fd5fbbcf",
      "new_mode": 33188,
      "new_path": "tests/lean/coe.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "647f684b6a534cfddc91fb7ce4f933c0d74a5466",
      "new_mode": 33188,
      "new_path": "tests/lean/coe.lean.expected.out"
    }
  ]
}