)]}'
{
  "commit": "54d73be6e644a015fc70964c262c57ba8748523e",
  "tree": "6a9e72c4423e8f46fab91b8a5f428d69b2ff4adb",
  "parents": [
    "99b715615541f714704dda6d76fad2be246d0012"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Mar 26 10:01:03 2022 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Sat Mar 26 15:20:18 2022 +0100"
  },
  "message": "chore: fix USE_GMP\u003dOFF by removing GMP linking customization\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "93745dc94783d6d210468bc07abe2ccc692934c1",
      "old_mode": 33188,
      "old_path": "nix/bootstrap.nix",
      "new_id": "26c84eff78f17d914fa88a558693bc6a351b9e9a",
      "new_mode": 33188,
      "new_path": "nix/bootstrap.nix"
    },
    {
      "type": "modify",
      "old_id": "050d2564fe4e357912713ca17644c5c97c203f82",
      "old_mode": 33261,
      "old_path": "script/prepare-llvm-macos.sh",
      "new_id": "d724d8ae9d422c9e665d8908b0fe9fd5ec8c03d4",
      "new_mode": 33261,
      "new_path": "script/prepare-llvm-macos.sh"
    },
    {
      "type": "modify",
      "old_id": "51cdad5b94a0096e60dae0e3c086a832f9b0dad6",
      "old_mode": 33188,
      "old_path": "src/CMakeLists.txt",
      "new_id": "e285ddf0da1354e6f09b5f30836cb5931b9eb657",
      "new_mode": 33188,
      "new_path": "src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "d1f4bc525531bf53829fe1d7653b553bba81f9d7",
      "old_mode": 33188,
      "old_path": "src/Lean/Compiler/FFI.lean",
      "new_id": "a74815ffdae09720eb1b912c4d78a16f877903b1",
      "new_mode": 33188,
      "new_path": "src/Lean/Compiler/FFI.lean"
    },
    {
      "type": "modify",
      "old_id": "976d764deee7b9aa21811a3e1c20e7f063eb1b16",
      "old_mode": 33188,
      "old_path": "src/Leanc.lean",
      "new_id": "365a933e19243301b60c91011a385d376487a5e4",
      "new_mode": 33188,
      "new_path": "src/Leanc.lean"
    },
    {
      "type": "modify",
      "old_id": "60ae824f771bcb809dd549c0d2858b9fedc81b62",
      "old_mode": 33261,
      "old_path": "src/bin/leanc.in",
      "new_id": "11fe5cdbf6f96c7c27f5ef42286cecfc3bd4ec3f",
      "new_mode": 33261,
      "new_path": "src/bin/leanc.in"
    },
    {
      "type": "modify",
      "old_id": "b9b815ff7703c494c5c3bdb51f9bfc6ecb15af17",
      "old_mode": 33188,
      "old_path": "src/shell/CMakeLists.txt",
      "new_id": "d570dd79500bf065c958ac6ee4f735d7bbb1d6cc",
      "new_mode": 33188,
      "new_path": "src/shell/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "72f0278e7a9b4c6886deb7f8aaacd5e792591360",
      "old_mode": 33188,
      "old_path": "src/stdlib.make.in",
      "new_id": "841ad8695cc2fd6bb4f98b1fe0f3075fc32c2e8a",
      "new_mode": 33188,
      "new_path": "src/stdlib.make.in"
    },
    {
      "type": "modify",
      "old_id": "2437fc711a0af516b47eda1c1f42a3f3f6dcea2f",
      "old_mode": 33188,
      "old_path": "stage0/src/CMakeLists.txt",
      "new_id": "e285ddf0da1354e6f09b5f30836cb5931b9eb657",
      "new_mode": 33188,
      "new_path": "stage0/src/CMakeLists.txt"
    },
    {
      "type": "modify",
      "old_id": "60ae824f771bcb809dd549c0d2858b9fedc81b62",
      "old_mode": 33261,
      "old_path": "stage0/src/bin/leanc.in",
      "new_id": "11fe5cdbf6f96c7c27f5ef42286cecfc3bd4ec3f",
      "new_mode": 33261,
      "new_path": "stage0/src/bin/leanc.in"
    }
  ]
}