)]}'
{
  "commit": "0af36c5415813958eb37443b106b298a39c96b86",
  "tree": "64aab73bcd8742b532cd6d73af9a2cf77035b818",
  "parents": [
    "bd0f499108de4b2f0257111c83435c9dc0fcd02b"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon May 20 13:50:30 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon May 20 13:50:30 2024 -0700"
  },
  "message": "feat: simprocs for `String` and `Char` `\u003c`, `\u003c\u003d`, `\u003e`, `\u003e\u003d`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "c8ead8e24ded143eb63efe9aa2553b9d2597eb66",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.lean",
      "new_id": "6315931b605a6ce7ede3b644b9c4ac3c4af34e58",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Char.lean"
    },
    {
      "type": "modify",
      "old_id": "a4e2160ed5ce0c846c26ae0ec1ff2c2778fdd49c",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.lean",
      "new_id": "61c580a53486191f7611f116597d2f6a0573ba18",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/String.lean"
    },
    {
      "type": "modify",
      "old_id": "1fd89606ee8415d56a1da58d64e0b1ce9e07f947",
      "old_mode": 33188,
      "old_path": "tests/lean/run/string_simprocs.lean",
      "new_id": "251407ff45ea1464fa166c47f1e5b5d59d30da83",
      "new_mode": 33188,
      "new_path": "tests/lean/run/string_simprocs.lean"
    }
  ]
}