)]}'
{
  "id": "785909a2a315389d1327c544e1e1960a9cc8aaea",
  "entries": [
    {
      "mode": 33188,
      "type": "blob",
      "id": "3ca8de84c3348e37d76547a3da3d293c5d8d7b1a",
      "name": "CMakeLists.txt"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d87f6604ad35fb2bb260d467bd460c62a363b409",
      "name": "Init.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "988e06e0196a6dbedaa65a3d7cc21f4436c7e7c5",
      "name": "Init"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "d5e58563dc9fa45f525684a85052927e61097ce3",
      "name": "Lean.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "3237966a520bf3accdfb8e4017c1460aa1775f10",
      "name": "Lean"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "68d01dd728d6f172c9eca92d9522f9555ad6a46c",
      "name": "Leanpkg.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2a6c7c603b3147950e8e6ab147d86bac43706c6c",
      "name": "Leanpkg"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "c3ee40aa0b1d0cc4d68d9a42374bb024a686339c",
      "name": "Std.lean"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "95cd04321417761da026a7f4ef684eef8e4023f2",
      "name": "Std"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "663b69e131abb089f4df73743da2ab36749a5893",
      "name": "bin"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "cae227f8ccd21401db4dfec99dc94bc0d9473ace",
      "name": "cmake"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "f109cc37a65e32a039ee9bf7e797f0686066b185",
      "name": "config.h.in"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "7cc0444b6a3a0f7370be69771e4937bc3562b9dd",
      "name": "githash.h.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4cdb5baecf934027c8bf765a22056934102ef674",
      "name": "include"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "95ac074eb5d9171c5c9361d0cddc040b1dd99a37",
      "name": "initialize"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "4e2de147ed6dff466ef3dd0120edaba257979dbf",
      "name": "kernel"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "1fb910d965498618204e25db07efa6e92c282cf4",
      "name": "lean.mk.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "1aae1a86afd9d74793fad66648d103d492ca720c",
      "name": "library"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "2148a85c7c4badf60fb992206888b551228951de",
      "name": "runtime"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "86b0bc9f9a839676ae9d9e4cb9d1455b427649c6",
      "name": "shared"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a01f215d2275e81118f3cf66d116ba3a3bbe26db",
      "name": "shell"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "0488c50c2b47a79732b2d1ee606f04b391935a9c",
      "name": "stdlib.make.in"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "5f41a6a164ffd3194c68f01ed0e90725a5e064e7",
      "name": "tests"
    },
    {
      "mode": 16384,
      "type": "tree",
      "id": "a9143eb6775809059c1188d4ad5afa3cf8e15b79",
      "name": "util"
    },
    {
      "mode": 33188,
      "type": "blob",
      "id": "65ea409c0c693dd82662d3c43e4c6023038bcf71",
      "name": "version.h.in"
    }
  ]
}