)]}'
{
  "id": "d17d925c27ef21b04632db3e11f3bbe7f4fe1b44",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "44c84eaa72714c21982f84d2e9d112e8817b9d56",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d87f6604ad35fb2bb260d467bd460c62a363b409",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "34d8ec7767bdce4baa4b35962456f777d021a53a",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "edfa89684e44f896da28069b4d4d2e1c22f75634",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "edc53240e5eb738dcfc326ace21a2803c30282f9",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "3be55008de04ff664a156d214bad8ff979f277a0",
      "name": "Leanpkg.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a1e4787552cd4784d8bf84da4953bdc803ccc422",
      "name": "Leanpkg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c3ee40aa0b1d0cc4d68d9a42374bb024a686339c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "e430bccd76a527bd9d52c7b3ab009970a54cbddc",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cc9ec88ac7f4c74fb5d993627d87dae2fff17e7c",
      "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": "cc362828db2d6a938ed1bd70261ac6f8521aaf8e",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "040c9bec06e9fe0b9d5670ac8acbad021b5b48da",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "20a851abfdc73c71d6d9818eaaa11bbca6d1ab42",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "92fd1f97a3ee051d6321d08c3668cb95984b3c4a",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a6da13291c1bcd55d1022070910628b2a97575d0",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "bb6e7a98335d120509dc6943318e618843f0d07a",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "f331d3d984795499bd540df560912620682f3b9d",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "8ff577b5add9980a3cfd40b9fe8be71f0ab1f706",
      "name": "stdlib.make.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "37aa19a850b5d9b29ec23ad1114928ed1852f401",
      "name": "stdlib_flags.h"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "8b4a2c318fbfbae332e6d77b814ffd7d1c68c5e4",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}