)]}'
{
  "commit": "6d5331a92a8f51f5e233ab796d3dc05a9a2b5dc9",
  "tree": "3296d910d56cb0fd8582c4f5e276412d8d009a5b",
  "parents": [
    "e8a2786d6d4defa29f8991eb03e1dd975311e5ae"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Mar 28 10:30:29 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Thu Mar 28 10:34:42 2024 -0700"
  },
  "message": "chore: fix `simproc` doc-string\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "debf5d10afb90228e2ceb48421b3c624c1fa89e3",
      "old_mode": 33188,
      "old_path": "src/Init/Simproc.lean",
      "new_id": "a679681364494cfb4be850918bc856b07fbbd59d",
      "new_mode": 33188,
      "new_path": "src/Init/Simproc.lean"
    }
  ]
}