)]}'
{
  "commit": "822dc5ba3d182b198a87f41f7961628460009c73",
  "tree": "f396cac330b2b5551afcaa245f70f265745063d8",
  "parents": [
    "56ba39d68a87ef68a794c4dc307f5ceee95f261e"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 16:14:18 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 16:14:18 2024 +1000"
  },
  "message": "chore: fix Array.modify lemmas\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a84dd923e26e96f523ba48e2021ddb7c404baa65",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Array/Lemmas.lean",
      "new_id": "2e65ef7acc550737a8aac776bca539bfcffbc980",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Array/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "a1af5c912e71587c2fec63a9e121c55e910ebf23",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.lean",
      "new_id": "c6bcc304f4ed5e69227bcaa5d0df480fc69999fa",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/Lemmas.lean"
    },
    {
      "type": "modify",
      "old_id": "7a613b59dadf629d48b21fd7e2d9ccb88c091a27",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.lean",
      "new_id": "b5994b39f8f0f6b5cb65134d3a90928226d05b23",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddResult.lean"
    },
    {
      "type": "modify",
      "old_id": "f82f9429b1162513adb9c7517d404ca7a4010a11",
      "old_mode": 33188,
      "old_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddSound.lean",
      "new_id": "518d0f4552d7e3619cd364395b4b6298d7a28bd7",
      "new_mode": 33188,
      "new_path": "src/Std/Tactic/BVDecide/LRAT/Internal/Formula/RupAddSound.lean"
    }
  ]
}