)]}'
{
  "commit": "f9fa2f43f214c24a96c580d9a3aae0b686650e00",
  "tree": "d24714d6d461e69ddb2fb44335a4648fa04ec1dd",
  "parents": [
    "f9a696fc72507d0766310d9ea51eefa6d97f9cea"
  ],
  "author": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jan 25 12:26:27 2021 +0100"
  },
  "committer": {
    "name": "Sebastian Ullrich",
    "email": "sebasti@nullri.ch",
    "time": "Mon Jan 25 14:46:15 2021 +0100"
  },
  "message": "fix: statically link GMP into leanpkg if STATIC\u003dON\n",
  "tree_diff": [
    {
      "type": "modify",
      "old_id": "446c65adddb70e87fc63fdc9f1dbb3d04f0290b8",
      "old_mode": 33261,
      "old_path": "src/bin/leanc.in",
      "new_id": "3b238a7a1f4fa330084da23543d0bbde6ef8e12d",
      "new_mode": 33261,
      "new_path": "src/bin/leanc.in"
    },
    {
      "type": "modify",
      "old_id": "185e2c5e0a4d9665ea7a7f5a580aedfb3917961e",
      "old_mode": 33188,
      "old_path": "src/stdlib.make.in",
      "new_id": "fb497e06e05b62f7fdbe79b0d4a82267f20eb932",
      "new_mode": 33188,
      "new_path": "src/stdlib.make.in"
    }
  ]
}