)]}'
{
  "id": "ac1ef13fecd5161c7906b8e92bfbf2cd28c791e3",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "de76e3ce42ba91240bf76bfec6a8d69f00dc47d9",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7daabd1a7b38f742fbb86f0fc533f2c78447213e",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1b799e19449e5c7fade28b35afbf8f45ad932d18",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "74de8f0ba2fc08c8859bce172e6a356882692092",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "ad73a637023892efe173761b65beda1483780a40",
      "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": "9eae3c31dc0e91c744802678309bde2a8089b4a3",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cff271962a800be709749e26542336ab6a990031",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "88dfcc886780f596481b418612f6c31e12fa2913",
      "name": "kernel"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f050fc37012edd5586a21337acc56606b3f1f41f",
      "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": "5fd9755f897f062042ea04efa4b44a7022aa0864",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1d87330aa1895bd4509c42b0dbff7aee9c02a81f",
      "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": "027948c08eabb614e7509654b0f135667b0e6d8e",
      "name": "version.h.in"
    }
  ]
}