)]}'
{
  "id": "c878cfb8e81cad04c7a3f5de89d1c94c7f21ef8b",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ceb103c83ffa2c4468b0059cbd3bd9b06973a52",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40dcc8541cbc55559db4fc2baafd7eb7afce9782",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ff5736d4a7ae0e4b15f882cf02437eb2e2ab8fa2",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "dd3648ac4fe512f986d364ee528dd86733e1ad93",
      "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": "3daab1df1ac490314e2281ab3d6a2bee70e9230e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "deb23f76f136f393c12ae970367b7aaf8f84a871",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "e031396293ed1ea9c4df5345a518cefe15c29e46",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16d0d20aec073f043d79dc7623431aeb5e504b71",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3158ba8474d25f6869afdb2705001ae5960b90f3",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4725deb56f87fab99c549e5f8ec8b45fee9075b4",
      "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": "0a2cdc15089716597adeb66f36af164570c37b3f",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}