)]}'
{
  "id": "484b624937a9ee007878dfacc66a2d9525f21e47",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "faf93871292d40834b903dac607c6382e1016839",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aea7d2ca94f803de36f6fa0b45958c4fee77d43e",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7514a2958ac7e4d11ce14cf7e2ea54ec18530f2d",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "64a3cd8a37ba87a22064fb6a3214c20f5a04f4a7",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c516636efa8c51b34db04c96089f4b39cbea4396",
      "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": "b72c6e7e04344713c1f1342b051e267cb3757442",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6f18cb681de8b6ac1c3b91e533dbd1f71dde49b5",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8afe83b052d785c2bb72373ff1a10cef92299455",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "928c1e5d0afacde8a5a40eb9a19c7a22e6f668f3",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "da6cd2e19ff2693bf7af55b1963870b11b8fd925",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5b137b5b6e14c68fa1eed4a787d45334bc91df6e",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2b8c014698e13e11e2079037ae906b29042146c5",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "5d192f9ec6c061812c476e37095c21782be10cd1",
      "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": "7f343adda5306756a9abecec4ff58743b595a6de",
      "name": "version.h.in"
    }
  ]
}