)]}'
{
  "commit": "2c0ba24588cd655f5d3a5c3520ce166bf28ba7ee",
  "tree": "7729b8d933df9b16d4c266d4274590157e04283c",
  "parents": [
    "28cf1cf5cfad0168d76d709a5e47fe4142a05fdc"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 13:29:25 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jun 04 15:32:42 2024 -0700"
  },
  "message": "fix: `simp` must not use the forward version of an user-specified backward theorem\n\ncloses #4290\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1acb7354a66193260e68fb738ebe830afa0b4313",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean",
      "new_id": "cd933ce7936ab6d337f5eec1809fd0cb6131c9b1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/SimpTheorems.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "263bdaa6c3745617ce09c550962b7ea6ba2a230a",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4290.lean"
    }
  ]
}