)]}'
{
  "id": "bdac8a728c9e51324ac8b7f286295d6b41bc7c77",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "554fdcdf1131e20de9a9299faa8858efae0b3ae4",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e211b79480f3a987deaf1fb51971a7d6223269d3",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0a62e3d0a85f2fb9e3228339b8c1f53fdd76dd30",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5da1bb9c2435ee00b7a2e122af91b7d9b2afaae4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a3662e32f5cc973a93d10a2b3d4d578135ead7dc",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1e397e7ecd756f6459137f255db73068fb99d516",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c6e94e34ef68dfdc841db1cbffd077af040c4108",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "040b2a361e1d841fe12760a4a13d272ae87a8ac1",
      "name": "Std"
    },
    {
      "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": "2879482fe6a4460efe6197a5afc639091f834c8b",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e479b8d8998711fa8aa84ba96f4fe250109d410b",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5f7fd0dbb36c3b5c88d3855d744fa1d8ad562b9f",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "716317bfce1f2b8660841d08017681dbf451ee02",
      "name": "lakefile.toml.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "32527c6fffde52a5ba547a9d21797a3a991d166d",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "697addae0610583496d0408efafd5be858c378bc",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "aebd82f06e2085192681693fc973055fb640d9eb",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3e6d2570c37664c381db93650758f754ee9cb7a8",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d787bedff3bb8b64b1c625ef1bc15345712a9cfb",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0699845ba4526869f7628e722b70abd4d379b3e6",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3662618091d156ca6141a63aa3ab5c89dec143b1",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "027948c08eabb614e7509654b0f135667b0e6d8e",
      "name": "version.h.in"
    }
  ]
}