)]}'
{
  "id": "b8df4145f639c58fd521dc2c34fbccc1f0e973f3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ceb103c83ffa2c4468b0059cbd3bd9b06973a52",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40dcc8541cbc55559db4fc2baafd7eb7afce9782",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "61f41a2faeb8056cc9877f40d7eea50ed18d2e1f",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c38e904aaa60678036c6d2540b456f1a2a40ce3d",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f45445ae6d16931a01cbfc536716b6270ca2a007",
      "name": "Leanc.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4d1ffc320cf45cb389207594c2c5917a91dbefc5",
      "name": "bin"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cae227f8ccd21401db4dfec99dc94bc0d9473ace",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "193bb56aa7ab4984c5fbfd84fa75fab37081989a",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "89ee1a8730a4fe016266b18c25589792b54f2631",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f8d978bce95f147fcef79b4dac0135bef2d62582",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "94fce28c2387f4f1a98e0c9b66b2bdf1e6327c76",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "8e9152a1e08ebcdd9c1405f5b6c3276270c425ee",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16d0d20aec073f043d79dc7623431aeb5e504b71",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "07429af3cd1f550cc0f883449914861cadac5aac",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "09d439cc0f6eaf52778e55386c1e7c9f8bbbbca0",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "255652459b11384e58544a661e356f93d41a1d48",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "53a75888fdc6238e5508a52067bee6a7c0cfd68c",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a574103a7f38f4cf3580959d7bbefc9e6219a542",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2e5f82fdad79d97478c5ba4f0ef02360fee01c21",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}