)]}'
{
  "commit": "8965f1709ffb0e40e20f8e0c56149c7df1a20720",
  "tree": "cc7c00e776037961db14473a9efe12df8ed5a635",
  "parents": [
    "1cf71e54cf268e87cf5c43c830d953f5c88e6c39"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 17 13:00:00 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Jun 17 13:00:00 2024 -0700"
  },
  "message": "chore: missing instances\n\ncc @shigoel\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "882f44f76b2626e0fec025b57e7afd18dc1535ac",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean",
      "new_id": "5c78ba1b4ea72854c519a463abe03be88c265ce1",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/BitVec.lean"
    },
    {
      "type": "modify",
      "old_id": "98f65f2b438e43c38a989805c706d96218b063b6",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean",
      "new_id": "85d3ef16db8696a224016902d563a83c56a73fb7",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/BuiltinSimprocs/Fin.lean"
    }
  ]
}