)]}'
{
  "id": "e6316df46da4318cbba6f88a287525e8b377d90f",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "8b7d09a5a6dc50027ad393aafe9632c6fb3ddec1",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "54741d4ed829490deac0caf24392ec2b2fa6aea7",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "6cd331c9eee678682169cb6c4848b10e8a08e3b9",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c0f2146003f3da8e3865ff7ebbdb36019aad758c",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "03b19075db69978fc257939ba6811b6edb8d5dd6",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "61f1a6935861b8ebd404421e19a9e72b557bde20",
      "name": "Leanc.lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c98207e652cf7b1c33027abb99cb59c8e363375c",
      "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": "27bf3cecaafbc5440ea43c4ed21630a166bb16f1",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a8392c3eeb4662649ad91dfedda797b891e53483",
      "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": "9fe00f0c20283a602ac1b2aad77522e082dfb1b1",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d9af97428d72a96a9f162abde99a1e6e0543d75e",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "b8f03710284552dc9c994d6f5b484718e4b472c3",
      "name": "kernel"
    },
    {
      "mode": 57344,
      "type": "commit",
      "id": "b9d873cce0bd36efe957f768cfa533e3d0573f10",
      "name": "lake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1b620bd995bc95e62fda6b97268096c4c828a96e",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "27902d6de83ee23e8241017033431874e767669b",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "d6ec4766abf5c311f20b1711df375b4b79c4205b",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e5fa0b49557a93adb4965e87cec7dfb8a7d15631",
      "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": "822952c818eb2f02ba633ed5d074273d08b4f59f",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}