)]}'
{
  "id": "312001ea37a4575ae07cc947513c3646e5fc452e",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "e160af14f127ef7c1546b6e10a587be5df267883",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54741d4ed829490deac0caf24392ec2b2fa6aea7",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7dca9c07f9ec7199ad09921e90da14c94f2e4f99",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c0f2146003f3da8e3865ff7ebbdb36019aad758c",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6396c3c0d9be0796875e97b29ee177f177e8066b",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3be55008de04ff664a156d214bad8ff979f277a0",
      "name": "Leanpkg.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a1e4787552cd4784d8bf84da4953bdc803ccc422",
      "name": "Leanpkg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "50010f266c2ead966c67ea60fc1292b9451b70a9",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "20890c0c6831d8799981a9f54fc3f99c0f5bfc33",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5296cf17c43e0f5aca54e15a4f10d24313898e1b",
      "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": "020d94c22c4148f508d5a558318711af57b9d48f",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2affd2317ed2a8162f8f675396deb22081266bb7",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "97f949df639636107f5179ab01321d26043440f0",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92fd1f97a3ee051d6321d08c3668cb95984b3c4a",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "35de680dcbc4d1b501301aa871cf75d2b2c8780b",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "7a19dedae52fcf42e3fa97d8812ad280fcd2cbb7",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "9daaa3a1b6e1f7e678131d84be2bb9a91817bc8a",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a6bf8d20b3d28d4aeeed9645acc5e1df517a2b3d",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77aa54db2d0d34fc3e93a977a399b575ed481292",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1e4c2e6fc9bbe673d38a244f1e5aeecacd65ecaf",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}