)]}'
{
  "id": "d9267040637cc207b52d1f0a7e8a182d8f7d76ef",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "faf93871292d40834b903dac607c6382e1016839",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "aea7d2ca94f803de36f6fa0b45958c4fee77d43e",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b244759fe8159caeb289dd0c488c13e5058b0061",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "751ca8bd0dc88b2a84d9599469a3359798bff256",
      "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": "2be02ce29d8f8459d61739a297fd9d5761959829",
      "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": "e06d11b2b2e52042d3797a267c7b7ed9738a15ba",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2b8c014698e13e11e2079037ae906b29042146c5",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "85d0b9d27df47dd0d5f7ee6dbe85d2fb88239de9",
      "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"
    }
  ]
}