)]}'
{
  "id": "69df84c142e08605a5077aac2ba291b546e0910e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "72f99a64a6876e4e60d2a8a624a427c1e7357b37",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d4b4636a627b91eb1a0dc7688b82098bb7aa9a2b",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "511da4bb34202dcbd35586a5d602d84621de87e5",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9db914180d7adedd9e72f436ba24151393f0be4c",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "06d293c4a3ac47e7b21c36a623460e73eefd9809",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50010f266c2ead966c67ea60fc1292b9451b70a9",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8d43a8ae27fc541fa448c1a33672647703e4b7d5",
      "name": "Std"
    },
    {
      "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": "6ed8c98285ac9847a2a5f2cb10b21c8da8ea1640",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d9af97428d72a96a9f162abde99a1e6e0543d75e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ac4b7b3ea40cd7f5772da14d5ddfa1d11185e361",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "0d6e16a3ad6b0e190b1d557df86fc627d4597c29",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7e15eacb316a62ee7515c0534476f8c63b55afb",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8135800bfe8b6f7de2bc400e664506a2651bdbdd",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2e39f16b2861060c2e00bc2d6965fbe33e3ca212",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f5dc04a95f6d570b29bef9420308852989c58312",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "841ad8695cc2fd6bb4f98b1fe0f3075fc32c2e8a",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e3a2e51437df6454ffe820d1844b5bc81332cc36",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "62d3323e1221d25a933340e6c968d2554a7f8c10",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}