)]}'
{
  "commit": "e6fff5c1041d73979d769c565bc2192186175f64",
  "tree": "0f09abe163d2c585a92f9608024106c68e8eea2a",
  "parents": [
    "00e3004ce5152c4182c9d046f59e3b72f714e4cd"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 18 09:37:51 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Fri Nov 18 09:46:58 2022 +0100"
  },
  "message": "chore: remove remnants of C++ `format`\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "cfaef5f975137d31c8da02c3cc7b1558d5abed20",
      "old_mode": 33188,
      "old_path": "src/Init/Data/Format/Basic.lean",
      "new_id": "add87c5e9301c604dfbc814c70dde2138dd5b41c",
      "new_mode": 33188,
      "new_path": "src/Init/Data/Format/Basic.lean"
    },
    {
      "type": "modify",
      "old_id": "d63dfd1ad5ede72635e7b60a2888338f89042204",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/IR/Format.lean",
      "new_id": "ddd7cf7eea1c60c001c9314acfe16cb4bf7f9bbb",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/IR/Format.lean"
    },
    {
      "type": "modify",
      "old_id": "60fea954e5f82f021ba22d8729a3496831a5bb6d",
      "old_mode": 33188,
      "old_path": "src/kernel/expr.h",
      "new_id": "0371110d335afe366ee3936e1cbb423e5bf7c051",
      "new_mode": 33188,
      "new_path": "src/kernel/expr.h"
    },
    {
      "type": "modify",
      "old_id": "e1d688fc8b6ff579b2a50d98124530b2377f77d7",
      "old_mode": 33188,
      "old_path": "src/kernel/level.cpp",
      "new_id": "a475364988195dbd63ebf19f29a01fd62159537c",
      "new_mode": 33188,
      "new_path": "src/kernel/level.cpp"
    },
    {
      "type": "modify",
      "old_id": "e31402458bba650ed20bc15cfefb6a0e240147fa",
      "old_mode": 33188,
      "old_path": "src/kernel/level.h",
      "new_id": "7f26ed11ff083fe4b29fb4433ab35912cd122778",
      "new_mode": 33188,
      "new_path": "src/kernel/level.h"
    },
    {
      "type": "modify",
      "old_id": "ff2db4d3948970d10f2ad7c0083a52450505e857",
      "old_mode": 33188,
      "old_path": "src/library/compiler/ir_interpreter.cpp",
      "new_id": "9c4bee5be81170eb4ae912d3019142fe6dd29ecf",
      "new_mode": 33188,
      "new_path": "src/library/compiler/ir_interpreter.cpp"
    },
    {
      "type": "modify",
      "old_id": "dd6a653e0fd7a2f1440dbb8a741ff28e4433889e",
      "old_mode": 33188,
      "old_path": "src/library/trace.cpp",
      "new_id": "2344daf9b4aa0a8d2c2a1e4f39daf4f1e44f04e5",
      "new_mode": 33188,
      "new_path": "src/library/trace.cpp"
    },
    {
      "type": "modify",
      "old_id": "3eae4a7af9e63871940c04e2ad4466f35235d6f2",
      "old_mode": 33188,
      "old_path": "src/library/trace.h",
      "new_id": "8590a444b8879b9fe267fc02d25c9c9652524fcd",
      "new_mode": 33188,
      "new_path": "src/library/trace.h"
    },
    {
      "type": "modify",
      "old_id": "b3760c408b39a9cc48648fd4844e00852631b05d",
      "old_mode": 33188,
      "old_path": "src/util/CMakeLists.txt",
      "new_id": "06594de367de3bb797bcae176ec5b727fa7f4b93",
      "new_mode": 33188,
      "new_path": "src/util/CMakeLists.txt"
    },
    {
      "type": "delete",
      "old_id": "692661db5b3bba90e25a33ae9e032f188b3a79a7",
      "old_mode": 33188,
      "old_path": "src/util/format.cpp",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "delete",
      "old_id": "17b274961d1ffbed8f45fc25b2dad1e00bb0aaef",
      "old_mode": 33188,
      "old_path": "src/util/format.h",
      "new_id": "0000000000000000000000000000000000000000",
      "new_mode": 0,
      "new_path": "/dev/null"
    },
    {
      "type": "modify",
      "old_id": "da0a6f9d6dce31cd125ec5ba393d057dd4e35d7f",
      "old_mode": 33188,
      "old_path": "src/util/init_module.cpp",
      "new_id": "caf60ed0cfbc9bcf4ee3aed8566e2c4908aaa94b",
      "new_mode": 33188,
      "new_path": "src/util/init_module.cpp"
    }
  ]
}