)]}'
{
  "commit": "67077db44ca740147beb6d9078ed10845cdd4914",
  "tree": "ff666c8d077cbfc63b007a4d1abadcac57ba3f38",
  "parents": [
    "4c55014595d0ad53d4d15ac0266ab9a8b27889da"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue May 20 15:04:00 2025 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Tue May 20 15:04:00 2025 +1000"
  },
  "message": "fixes\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "56ce988957214ff2d70c06e3760f9a6b17983256",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Fin/Fold.lean",
      "new_id": "1e6d3b4a118abffb61a6c0ef545d4bc28827baed",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Fin/Fold.lean"
    },
    {
      "type": "modify",
      "old_id": "837b3989f24605bc085c444ffbeb47b9a6c3c46a",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/FinRange.lean",
      "new_id": "747132481c5090756083f50c0896b296e5c2954e",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/FinRange.lean"
    },
    {
      "type": "modify",
      "old_id": "fd7e3923e5e1bf269178aa7bf254fd55548999db",
      "old_mode": 33188,
      "old_path": "src/Init/Data/List/OfFn.lean",
      "new_id": "d9b8749f11a38f6ee0b2fd7cd52e080edb90f592",
      "new_mode": 33188,
      "new_path": "src/Init/Data/List/OfFn.lean"
    },
    {
      "type": "modify",
      "old_id": "f747074802ea21a1f82dc077458601d4327347c3",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Vector/OfFn.lean",
      "new_id": "87002994b5e0741ede45736a6dc59514299cf3f4",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Vector/OfFn.lean"
    }
  ]
}