)]}'
{
  "commit": "83f05f3ef5c8af87090c3bcf70c28f8af6d6a7d9",
  "tree": "7e076226b962a544e873ed18cd0139e61e61ee4d",
  "parents": [
    "41ed5ddf577c68be01ac784ac92fb6aebca81844"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Oct 10 16:04:13 2023 +0200"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Tue Oct 10 16:04:13 2023 +0200"
  },
  "message": "fix: false positives in defeq cache\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "bfcce6d207a3614e7ae4803bf555b9c4b8083ef9",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Basic.lean",
      "new_id": "41d99c48e5c5eaab9704b9ccdc132bf886c63231",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "e1224b5d9e432ae8f1c3baa38ef0d6af735dd248",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ExprDefEq.lean",
      "new_id": "255dde2535b0635dd2c2280e326122d2d0c64ed3",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ExprDefEq.lean"
    }
  ]
}