)]}'
{
  "commit": "615dbf931e723beebce57d17280d6d44cccf0a17",
  "tree": "cbea8573157b2bbedd884dfd7762ae87d9e1e3c8",
  "parents": [
    "57b8b32c72b586ec062a200973192d8f8f2997c0"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 09 16:34:41 2024 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Tue Jul 09 16:36:13 2024 -0700"
  },
  "message": "fix: `Repr` instances for `Int` and `Float`\n\ncloses #4677\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "1469c6a88879f08607066a432316d051c34d78c2",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Float.lean",
      "new_id": "f31f76164e4b6d81c4cf9f0f7c7637d82585db3d",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Float.lean"
    },
    {
      "type": "modify",
      "old_id": "bfcfbac8e808a92fcbdbfd48d582fd59543b00a6",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Repr.lean",
      "new_id": "2c45dc14c2885fb6e1adefb603bba56a481f5086",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Repr.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "3e88ba082a1e99b60418cec026ab681c90dd6549",
      "new_mode": 33188,
      "new_path": "tests/lean/run/4677.lean"
    }
  ]
}