)]}'
{
  "id": "a4e080515670cebda07996e38c5a926b03f46489",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed39b096568a84280131d4c4d9538288f53724c1",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3d5128908cf41fe761cb490128007845a6c53376",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e1fa195d5daa9b2336b33e82e12353f71a865603",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e026559b8ba74d63129c07cf796a5a56d59f66c2",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b4bf1d2704a89ea03e96d8c71d0c2a145cdb1ecc",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e397e7ecd756f6459137f255db73068fb99d516",
      "name": "Leanc.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "776de8c0d66ce0cbc024261b0d89230ce31f9f37",
      "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": "cf71bd319289081fdaf34b328f04ac341dd55ae1",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3a6a3a1cd9b59108bfcf95f07871a7f8ede785b5",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "54eb3bd4133611e91e010b883e9466488a2688ec",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32527c6fffde52a5ba547a9d21797a3a991d166d",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "10d60050fdb6e23f59b709747dda264bee1e0cc5",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "eddec15f95a95f1a0935d330a20ef1cb8d19b242",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3e6d2570c37664c381db93650758f754ee9cb7a8",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "dd4fbecc30c974b980309a68b7a99070b59ae60a",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0699845ba4526869f7628e722b70abd4d379b3e6",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8f71e952ddc2b9d7c2bcecea5c7a0fb78185567d",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "027948c08eabb614e7509654b0f135667b0e6d8e",
      "name": "version.h.in"
    }
  ]
}