)]}'
{
  "commit": "635d662ee35cc2a2307dc34e40d8b12f778f740c",
  "tree": "2f1b1c8f952b399ff9c634c0b9b4f2b6b34dfe38",
  "parents": [
    "a0b2240b7878c4653994c6638d88fe9e7e094c5b"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 15:27:14 2024 +1000"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Mon Sep 30 15:27:14 2024 +1000"
  },
  "message": "deprecations\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "73c71d4784a82d6723b7f8ccdcea0960d72c7968",
      "old_mode": 33188,
      "old_path": "src/Std/Sat/AIG/RefVec.lean",
      "new_id": "0d1099fc435a2266d045fe407fb12688a292a698",
      "new_mode": 33188,
      "new_path": "src/Std/Sat/AIG/RefVec.lean"
    }
  ]
}