)]}'
{
  "id": "39c2335eccab4ab849bdad6611b8a0a9a7ce7998",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "f2cc9beae6c7ca6514c87d321a9aad1fc0dfa6f7",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "e211b79480f3a987deaf1fb51971a7d6223269d3",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "167afba8f667aefaa20d86326cf405b9e809d38e",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5da1bb9c2435ee00b7a2e122af91b7d9b2afaae4",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a19a1a084c414ebec72395ba10c5fbf37eea7fd1",
      "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": "2879482fe6a4460efe6197a5afc639091f834c8b",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e479b8d8998711fa8aa84ba96f4fe250109d410b",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "06035d0a32e19246418aee819958f8ee5158361d",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d0fa6ad97d49455d0e0aa03866eae23037c9b46a",
      "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": "a020beed8abe2c684c5aa0917eea9ded3f5f3b6c",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "aebd82f06e2085192681693fc973055fb640d9eb",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3e6d2570c37664c381db93650758f754ee9cb7a8",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "4d742ff78c7782693cec51751bd0cbb7aa77f899",
      "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"
    }
  ]
}