)]}'
{
  "id": "91326859b6e91b38f798165496f73904042446db",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "36bdc9ab0ba55e56c61f994ae045d8378de89139",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40dcc8541cbc55559db4fc2baafd7eb7afce9782",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d0327ede26a4609e0b48f080a22bf3cc663070c2",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a0c72678a79bf5ae66724aaa0be10cecbd3bbfb9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "06d293c4a3ac47e7b21c36a623460e73eefd9809",
      "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": "cc6f77a58c0a4e51e74dab853b9aa8b1d8aac018",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3daab1df1ac490314e2281ab3d6a2bee70e9230e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6d9d91634ec2035326c1e6b63701a0dab21243e5",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "7264961e9fe62d217586a24c96c76cc160f008b6",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "16d0d20aec073f043d79dc7623431aeb5e504b71",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0e25988028b3e724493dce7aa7eec9103acbc1b1",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c56c26f5b54d3e0290c9a15e3e402913e36bdef0",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "352f35316c584612cf8e92665787c0b76d3aab16",
      "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": "c0c2d95bac2fc688f2d47cddf7744e6dea049763",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}