)]}'
{
  "commit": "60d93079009d2fe7b23c8d4429a0921e331c3622",
  "tree": "defcf6bee0c31a4847660015d7c7cec4c60f056e",
  "parents": [
    "70644c80c3dcdc82b984bc88d5213663ec0e018c"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 01 13:05:40 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Apr 01 13:07:09 2024 -0700"
  },
  "message": "perf: use structural equality at `ACLt`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3deae2b3934cfabd9982ef7058df6f2c923ceb07",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/ACLt.lean",
      "new_id": "06fb73e21adfa716caefe76c7642cf60cbbd395d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/ACLt.lean"
    },
    {
      "type": "modify",
      "old_id": "2ae9800a1732de9c43227568c3fccb2c8f6b70ad",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean",
      "new_id": "a88b0c7879fe4219aa173bbfe35cf3ad8980e07a",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Rewrite.lean"
    }
  ]
}