)]}'
{
  "commit": "e640267122d8221c506da1e1d9429f735b237c09",
  "tree": "2a235c23e0dbab00e22fbff0720d456e0a13509a",
  "parents": [
    "3450c2a8ac3a8c193d4fcc28056d0725ca3b4a1f"
  ],
  "author": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 30 12:35:47 2024 +1100"
  },
  "committer": {
    "name": "Kim Morrison",
    "email": "kim@tqft.net",
    "time": "Wed Oct 30 12:35:47 2024 +1100"
  },
  "message": "feat: Hashable (BitVec n)\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "3d4b311d1218b751b07ed6cd1089d78794c1d1a8",
      "old_mode": 33188,
      "old_path": "src/Init/Data/BitVec/Basic.lean",
      "new_id": "43465f46126f3a242f436de571bbedffa3373d3d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/BitVec/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "da29eeffff13d5f459c84db998ad1fc2ac6f7915",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Hashable.lean",
      "new_id": "e964c7c342cc1015123c1a79a1b6842dd3a97038",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Hashable.lean"
    }
  ]
}