)]}'
{
  "commit": "337d0195085b69d30bba9a4bd453945d3853c72d",
  "tree": "87bfede2f22de5cf80401b95a9c92876490afc6f",
  "parents": [
    "ce77518ef5bc6e0e8627cb6a1ec6166361464079"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 05 06:39:06 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Mar 05 06:41:06 2024 -0800"
  },
  "message": "fix: `dsimp` should reduce kernel projections\n\ncloses #3395\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "dbd0f5c00250f30af821a41661739f95b22811a9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "f24bc520a57539579ce220162a137b8b790d6604",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "7b84b98b9814df72b48433b1da0eb132a7fa632c",
      "new_mode": 33188,
      "new_path": "tests/lean/run/3395.lean"
    }
  ]
}