)]}'
{
  "commit": "e482303508716552c01c8a183da96dec17982c13",
  "tree": "b49e64729d519cc6a3810edb9cdf6228c1d74f07",
  "parents": [
    "3bd2a7419df83fd9bdec8c480b52cc1ff340933e"
  ],
  "author": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon May 06 14:36:26 2024 +1000"
  },
  "committer": {
    "name": "Scott Morrison",
    "email": "scott.morrison@gmail.com",
    "time": "Mon May 06 14:36:26 2024 +1000"
  },
  "message": "chore: allow omega to use classicality, in case Decidable instances are too big\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "a382690a9cdb9281731e4f7a94f64e9c60c65273",
      "old_mode": 33188,
      "old_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean",
      "new_id": "fe2bbd733cbb950331ec26212a36c4e3ebec325a",
      "new_mode": 33188,
      "new_path": "src/Lean/Elab/Tactic/Omega/Frontend.lean"
    },
    {
      "type": "modify",
      "old_id": "73d029b6a3ef572ba4eff0c9642e9218efbf8b55",
      "old_mode": 33188,
      "old_path": "tests/lean/run/omega.lean",
      "new_id": "5c6b59331fe34d9016fcf0645b4cd4d02f7b7ad2",
      "new_mode": 33188,
      "new_path": "tests/lean/run/omega.lean"
    }
  ]
}