)]}'
{
  "commit": "58d54792e7bbbe5899c99eecf9b10643344a676c",
  "tree": "3070cf8e55290997d0cb747adfff373cfa336e08",
  "parents": [
    "7ea711e0437e26b16b8a47125a3b00879297b32d"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 11 11:54:15 2025 -0700"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Mon Aug 11 11:56:43 2025 -0700"
  },
  "message": "fix: additional numeral normalization in `grind`\n\nThis PR adds `Nat` and `Int` numeral normalizers in `grind`.\n\ncloses #9828\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "f3af955b41aa528a56488b11215b9eaad546077a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Grind/Arith/Simproc.lean",
      "new_id": "50e027ddce3faac740f6754fbc1e16b5c2ab3d6d",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Grind/Arith/Simproc.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "c1f2050d2e5143456f2ebefaf9fc866f380f97a3",
      "new_mode": 33188,
      "new_path": "tests/lean/run/grind_9828.lean"
    }
  ]
}