)]}'
{
  "id": "18de303bcd8198765b7946a4870e781092badd9a",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "74e0e63834815a4bd66306744bf806be69897ac0",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "40dcc8541cbc55559db4fc2baafd7eb7afce9782",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "63c382e39fe97dc6735e115e6c5bca33068a5c1a",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "05d39440c85a738de8f1f21d4a76bcd48e58bd8c",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e02a295861cca9d56f2a5384f06b11c4b03b2aac",
      "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": "7246772a203008b4f2f1c63982bc0bcfe4b7bdc8",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3daab1df1ac490314e2281ab3d6a2bee70e9230e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b2dddcf10a030d7450edee2096649b3f1bbcd50b",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "cabb1223b02c6bf799bf99b4329e6b666e2bbc9a",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7e15eacb316a62ee7515c0534476f8c63b55afb",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "384793e64a65d4f359775adfdda0f667a7230639",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f687f8ac7791a60ad9d4a91be5f6f179fdb6e735",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f5dc04a95f6d570b29bef9420308852989c58312",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1df5d456534b1564abdaaa37e8b00c72c2b44e4e",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aae6413ccc9ccea577579c7dc262522929f5fe7a",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c4fefb98ef87748169f8f3a8edfaca28a99e2104",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}