)]}'
{
  "id": "d52497cc597255cd7434cab58e1ec459b859c659",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "34484c7102f017d702a83286339e1a5721367937",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "122d982a55d5c22e9ee915eae4cd7f4a7d133b09",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6bbf17908089497e9bbcb3d62a7aa24757011bef",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "a7e59d1d71b8f73b3f78d82c17767bc5280b6589",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "630de9f680465182db5afcd326c6e8bbfb52fac9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "61f1a6935861b8ebd404421e19a9e72b557bde20",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "ed1f0b17038da2793f7bb7766ee2dd2bdee702aa",
      "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": "477a355d3e3884ef6f85ea0831ff541828cbb56b",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a331cc8705516b86df3beb6fa9279ae2ee9f079e",
      "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": "e7be66e98e6abb9fd80e43f73748fee805804ebb",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d9af97428d72a96a9f162abde99a1e6e0543d75e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8f03710284552dc9c994d6f5b484718e4b472c3",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "521e88e55496b7369956b9077dc38d9fee12ace8",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c7e15eacb316a62ee7515c0534476f8c63b55afb",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6db7ccfd4283204a7bc9054a71984fe53e810689",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "c7b9c801c0cb08a7b968f657f6462f626c9795f2",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cef194a574d7795ca5f2f564f10c65b1ea0ee87e",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0bc4c1fee354496328a501f3625e325182188309",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "77aa54db2d0d34fc3e93a977a399b575ed481292",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "925fbf3591ada36a0226c763589e9a116d8dc2bf",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}