)]}'
{
  "id": "74133932a443acf5bbdb422a3ac58006d16b8d4b",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "75f0a82dbaece1072f78cb809dc74a9c85d69aac",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "9d0ca6d7ad16d758bd75435e010a17f20f9b8149",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "00ead99f33116f9a33ae464898bee8a014502f91",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0fdcd21991fb650b6fe3d9dd290be3e02aeaa229",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2a7ebfedebbc1b9f8d387edff81f59b4961f4bf9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "bed468a2094f1430f7b352362d0747cea099f6ab",
      "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": "ca14b733755c27873c1c3b2813ca68f8530e6b6b",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "0512c27fc1c3218cc9efa48c08eedabdd1502864",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "76933e6986b5235f9f215d036227d085dca15e24",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0694e2bc29a915356008a01eefd74ca8d056e665",
      "name": "lean-toolchain"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "98084ffea889348b18e478e430a87de33d5a6565",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "10d60050fdb6e23f59b709747dda264bee1e0cc5",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b03de99484ee9a2365fe889474d159b300803572",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "761e2c0bae85ea2f4bca89e9fc6ffc8687da3369",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ef98b4a3680e0ede4bdffa472f45589f6c32211e",
      "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"
    }
  ]
}