)]}'
{
  "commit": "773b606f6824a058e7cb8a60cbe29cebadfcc8ab",
  "tree": "41fac6e3b1806403a77954ba1b8daa245dbced10",
  "parents": [
    "5302b7889abcd018cbc84d63dd04eefadca0969f"
  ],
  "author": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 15:44:45 2024 -0800"
  },
  "committer": {
    "name": "Leonardo de Moura",
    "email": "leomoura@amazon.com",
    "time": "Wed Mar 06 15:45:08 2024 -0800"
  },
  "message": "fix: `ofScientific` at `simp`\n\ncloses #2159\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "ecd1ca67ae058cb37c1d68400c1f307fc3599c6a",
      "old_mode": 33188,
      "old_path": "src/Lean/Meta/Tactic/Simp/Main.lean",
      "new_id": "6cf6cb72e5c629c54ae9cfed6e8c256f3727e5fb",
      "new_mode": 33188,
      "new_path": "src/Lean/Meta/Tactic/Simp/Main.lean"
    },
    {
      "type": "add",
      "old_id": "0000000000000000000000000000000000000000",
      "old_mode": 0,
      "old_path": "/dev/null",
      "new_id": "ee43bd5afdc82b8f38bd8186c7d90cf54cf118d8",
      "new_mode": 33188,
      "new_path": "tests/lean/run/2159.lean"
    }
  ]
}